package dolmen

You can search for identifiers within the package.

in-package search v0.2.0

package dolmen

dolmen
- Ast_dimacs
  - Statement
  - Term
- Ast_smtlib
  - Id
  - Statement
  - Term
- Ast_tptp
  - Id
  - Statement
  - Term
- Ast_zf
  - Id
  - Statement
  - Term
- Dolmen
  - Dimacs
    
    Make
    
    L
    
    Lexer
    
    Parser
    
    Incremental
    
    MenhirInterpreter
    
    S
    
    T
  - Id
  - LexDimacs
  - LexSmtlib
  - LexTptp
  - LexZf
  - Logic
    
    Make
    
    I
    
    L
    
    S
    
    Lexer
    
    Parser
    
    Incremental
    
    MenhirInterpreter
    
    T
  - Misc
  - ParseDimacs
    
    Make
    
    Incremental
    
    L
    
    MenhirInterpreter
    
    S
    
    T
  - ParseLocation
  - ParseSmtlib
    
    Make
    
    I
    
    Incremental
    
    L
    
    MenhirInterpreter
    
    S
    
    T
  - ParseTptp
    
    Make
    
    I
    
    Incremental
    
    L
    
    MenhirInterpreter
    
    S
    
    T
  - ParseZf
    
    Make
    
    I
    
    Incremental
    
    L
    
    MenhirInterpreter
    
    S
    
    T
  - Smtlib
    
    Make
    
    I
    
    L
    
    Lexer
    
    Parser
    
    Incremental
    
    MenhirInterpreter
    
    S
    
    T
  - Statement
  - Term
  - Tptp
    
    Make
    
    I
    
    L
    
    Lexer
    
    Parser
    
    Incremental
    
    MenhirInterpreter
    
    S
    
    T
  - Transformer
    
    Make
    
    Lex
    
    Lexer
    
    Loc
    
    Parse
    
    Incremental
    
    MenhirInterpreter
    
    Parser
    
    Incremental
    
    MenhirInterpreter
    
    Ty
  - Zf
    
    Make
    
    I
    
    L
    
    Lexer
    
    Parser
    
    Incremental
    
    MenhirInterpreter
    
    S
    
    T
- Id_intf
  - Logic
- Language_intf
  - S
    
    Lexer
    
    Parser
    
    Incremental
    
    MenhirInterpreter
- LexLine
- Lex_intf
  - S
- Line
- Location_intf
  - S
- Parse_intf
  - S
    
    Incremental
    
    MenhirInterpreter
- Stmt_intf
  - Logic
- Term_intf
  - Logic
- Tokens_dimacs
- Tokens_smtlib
- Tokens_tptp
- Tokens_zf

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t

type id

type term

type location

val data : ?loc:location -> t list -> t

val decl : ?loc:location -> id -> term -> t

val definition : ?loc:location -> id -> term -> term -> t

val inductive : ?loc:location -> id -> term list -> (id * term list) list -> t

val rewrite : ?loc:location -> ?attr:term -> term -> t

val goal : ?loc:location -> ?attr:term -> term -> t

val assume : ?loc:location -> ?attr:term -> term -> t