package dolmen

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Signature for Logic languages

dolmen
- Dolmen
dolmen.ae
- Dolmen_ae
  - Id
  - Make
    
    I
    
    L
    
    Lexer
    
    Parser
    
    S
    
    T
  - Statement
  - Term
dolmen.class
- Dolmen_class
  - Logic
    
    Make
    
    I
    
    L
    
    S
    
    Lexer
    
    Parser
    
    T
    
    S
    
    S
    
    Lexer
    
    Parser
dolmen.dimacs
- Dolmen_dimacs
  - Make
    
    L
    
    Lexer
    
    Parser
    
    S
    
    T
  - Statement
  - Term
dolmen.icnf
- Dolmen_icnf
  - Make
    
    L
    
    Lexer
    
    Parser
    
    S
    
    T
  - Statement
  - Term
dolmen.intf
- Dolmen_intf
  - Id
    
    Escape
    
    Logic
  - Language
    
    S
    
    Lexer
    
    Parser
  - Lex
    
    S
  - Location
    
    S
  - Map
    
    S
  - Msg
  - Parse
    
    S
  - Stmt
    
    Logic
  - Tag
    
    Ae_Base
    
    S
    
    Smtlib_Base
    
    Zf_Base
  - Term
    
    Ae_Arith
    
    Int
    
    Real
    
    Ae_Arith_Common
    
    Ae_Array
    
    Ae_Base
    
    Ae_Bitv
    
    Dimacs
    
    Logic
    
    Smtlib_Arith_Common
    
    Smtlib_Array
    
    Smtlib_Base
    
    Smtlib_Bitv
    
    Smtlib_Float
    
    Bitv
    
    Float
    
    Real
    
    Smtlib_Float_Bitv
    
    Smtlib_Float_Float
    
    Smtlib_Float_Real
    
    Smtlib_Int
    
    Smtlib_Real
    
    Smtlib_Real_Int
    
    Int
    
    Real
    
    Smtlib_String
    
    String
    
    RegLan
    
    Smtlib_String_RegLan
    
    Smtlib_String_String
    
    RegLan
    
    Tff
    
    Const
    
    Cstr
    
    Field
    
    Var
    
    Thf
    
    Const
    
    Cstr
    
    Field
    
    Var
    
    Tptp_Tff_Arith
    
    Int
    
    Rat
    
    Real
    
    Tptp_Tff_Arith_Common
    
    Tptp_Tff_Core
    
    Tptp_Thf_Core
    
    Const
    
    Tptp_Thf_Core_Const
    
    Zf_Arith
    
    Int
    
    Zf_Base
  - Tok
  - Ty
    
    Ae_Arith
    
    Ae_Array
    
    Ae_Base
    
    Ae_Bitv
    
    Smtlib_Array
    
    Smtlib_Base
    
    Smtlib_Bitv
    
    Smtlib_Float
    
    Smtlib_Int
    
    Smtlib_Real
    
    Smtlib_Real_Int
    
    Smtlib_String
    
    Tff
    
    Const
    
    Var
    
    Thf
    
    Const
    
    Var
    
    Tptp_Arith
    
    Tptp_Base
    
    Zf_Arith
    
    Zf_Base
dolmen.line
- Dolmen_line
dolmen.smtlib2
- Dolmen_smtlib2
dolmen.smtlib2.poly
- Dolmen_smtlib2_poly
  - Id
  - Make
    
    I
    
    L
    
    Lexer
    
    Parser
    
    S
    
    T
  - Statement
  - Term
dolmen.smtlib2.v6
- Dolmen_smtlib2_v6
  - Id
  - Make
    
    I
    
    L
    
    Lexer
    
    Parser
    
    S
    
    T
  - Statement
  - Term
dolmen.std
- Dolmen_std
  - Builtin
  - Escape
    
    Make
    
    Id
  - Expr
    
    Id
    
    Print
    
    Subst
    
    S
    
    Var
    
    Tags
    
    Term
    
    Bitv
    
    Const
    
    Cstr
    
    Field
    
    Float
    
    Int
    
    Rat
    
    Real
    
    String
    
    RegLan
    
    Var
    
    Ty
    
    Const
    
    Var
  - Id
    
    Map
  - Loc
  - Maps
    
    Int
    
    Make
    
    Ord
    
    String
  - Maps_string
  - Misc
  - Msg
  - Name
    
    Map
  - Namespace
    
    Map
  - Normalize
    
    Smtlib
    
    Tptp
  - Path
  - Pretty
  - Statement
  - Stats
    
    Float
    
    Floats
  - Tag
  - Term
  - Timer
  - Tok
  - Transformer
    
    Make
    
    Lex
    
    Loc
    
    Parse
    
    Ty
  - Vec
dolmen.tptp
- Dolmen_tptp
dolmen.tptp.v6_3_0
- Dolmen_tptp_v6_3_0
  - Id
  - Make
    
    I
    
    L
    
    Lexer
    
    Parser
    
    S
    
    T
  - Statement
  - Term
dolmen.zf
- Dolmen_zf
  - Id
  - Make
    
    I
    
    L
    
    Lexer
    
    Parser
    
    S
    
    T
  - Statement
  - Term

Legend:
Library
Module
Module type
Parameter
Class
Class type

Interfaces for Identifiers. This module defines Interfaces that implementation of identifiers must respect in order to be used to instantiated the corresponding language classes.

Signature for Logic languages

module type Logic = sig ... end

module type Escape = sig ... end