package catt

You can search for identifiers within the package.

in-package search v0.2.0

catt
- CHANGES
- README
- Library catt
  - Catt
    
    Builtin
    
    Command
    
    Common
    
    Var
    
    Cubical_composite
    
    Elaborate
    
    Environment
    
    Error
    
    Functorialisation
    
    Inverse
    
    Io
    
    Kernel
    
    Coh
    
    Ctx
    
    Ty
    
    Tm
    
    PS
    
    Unchecked
    
    Lexer
    
    Meta
    
    Opposite
    
    Parser
    
    Prover
    
    Ps_reduction
    
    Raw
    
    Raw_types
    
    Settings
    
    Std
    
    List
    
    Suspension
    
    Telescope
    
    Translate_raw
    
    Unchecked
    
    Unchecked
    
    Make
    
    Unchecked_types
    
    Unchecked_types_sig
    
    Unchecked_types
- Sources
  - catt
    
    builtin.ml
    
    catt.ml
    
    command.ml
    
    common.ml
    
    cubical_composite.ml
    
    elaborate.ml
    
    environment.ml
    
    error.ml
    
    functorialisation.ml
    
    inverse.ml
    
    io.ml
    
    kernel.ml
    
    lexer.ml
    
    meta.ml
    
    opposite.ml
    
    parser.ml
    
    prover.ml
    
    ps_reduction.ml
    
    raw.ml
    
    settings.ml
    
    std.ml
    
    suspension.ml
    
    telescope.ml
    
    translate_raw.ml
    
    unchecked.ml
    
    unchecked_types.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Catt.Builtin`Source

Sourceval ps_comp : int -> Common.ps

Sourceval comp_n : int -> Kernel.Coh.t

Sourceval comp : Raw_types.subR -> bool -> Kernel.Coh.t

Sourceval arity_comp : Raw_types.subR -> bool -> int

Sourceval id : unit -> Kernel.Coh.t

val unbiased_unitor : 
  Common.ps ->
  Unchecked_types.Unchecked_types(Kernel.Coh).tm ->
  Kernel.Coh.t