package dolmen

You can search for identifiers within the package.

in-package search v0.2.0

package dolmen

dolmen
- Ast_dimacs
  - Statement
  - Term
- Ast_iCNF
  - 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
  - ICNF
    
    Make
    
    L
    
    Lexer
    
    Parser
    
    Incremental
    
    MenhirInterpreter
    
    S
    
    T
  - Id
  - LexDimacs
  - LexSmtlib
  - LexTptp
  - LexZf
  - LexiCNF
  - 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
  - ParseiCNF
    
    Make
    
    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_iCNF
- Tokens_smtlib
- Tokens_tptp
- Tokens_zf

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t

type term

type location

val clause : ?loc:location -> term list -> t

val assumption : ?loc:location -> term list -> t