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.Prover`Source

Sourceval parse : string -> (Command.prog, unit) result

Sourceval parse_file : string -> (Command.prog, unit) result

Sourceval init : unit -> unit

Sourceval exec : string -> (unit -> unit) -> unit

Sourceval loop : unit -> unit

Sourceval reset : unit -> unit