package dolmen

You can search for identifiers within the package.

in-package search v0.2.0

package dolmen

dolmen
- Dolmen
dolmen.ae
- Dolmen_ae
  - Id
  - Make
    
    I
    
    L
    
    Lexer
    
    Parser
    
    S
    
    T
  - Statement
  - Term
dolmen.class
- Dolmen_class
  - Logic
    
    Make
    
    E
    
    Smtlib2
    
    I
    
    L
    
    S
    
    Lexer
    
    Parser
    
    T
    
    S
    
    S
    
    Lexer
    
    Parser
  - Response
    
    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
  - Ext
    
    Logic
    
    Smtlib2
  - Id
    
    Escape
    
    Logic
  - Language
    
    S
    
    Lexer
    
    Parser
  - Lex
    
    S
  - Location
    
    S
  - Map
    
    S
  - Msg
  - Parse
    
    S
  - Pretty
  - Stmt
    
    Logic
    
    Response
  - 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_Bvconv
    
    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
  - Response
  - Script
dolmen.smtlib2.poly
- Dolmen_smtlib2_poly
  - Extension
  - Id
  - Make
    
    E
    
    I
    
    L
    
    Lexer
    
    Parser
    
    S
    
    T
  - Print
    
    L
    
    M
  - Statement
  - Term
dolmen.smtlib2.v6
- Dolmen_smtlib2_v6
dolmen.smtlib2.v6_response
- Dolmen_smtlib2_v6_response
  - Id
  - Make
    
    I
    
    L
    
    Lexer
    
    Parser
    
    S
    
    T
  - Statement
  - Term
dolmen.smtlib2.v6_script
- Dolmen_smtlib2_v6_script
  - Extension
  - Id
  - Make
    
    E
    
    I
    
    L
    
    Lexer
    
    Parser
    
    S
    
    T
  - Print
  - Statement
  - Term
dolmen.std
- Dolmen_std
  - Answer
  - Builtin
  - Escape
    
    Make
    
    Id
  - Expr
    
    Id
    
    Print
    
    Subst
    
    S
    
    Var
    
    Tags
    
    Term
    
    Array
    
    Bitv
    
    Const
    
    Array
    
    Bitv
    
    Float
    
    Int
    
    Rat
    
    Real
    
    String
    
    Reg_Lang
    
    Cstr
    
    Field
    
    Float
    
    Int
    
    Rat
    
    Real
    
    String
    
    RegLan
    
    Var
    
    Ty
    
    Const
    
    Var
  - Extensions
    
    Smtlib2
  - 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
    
    S
  - 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

type 'a t = Format.formatter -> 'a -> unit

Alias for the type printing functions.

val print_tags : bool ref

Determine whether to print the map of tags for each id/type/term or not.

val print_index : bool ref

Determines whether to print the unique index of each identifier or not.

val name : Pretty.name Tag.t

The name tag is used for the printing of identifiers. When an identifier has an name tag, its value is used instead of the identifier intrinsic name.

val pos : Pretty.pos Tag.t

Positioning for pretty printing. If this tag is set, the printing functions will ignore type arguments (for readability). Pretty.Infix uses the identifier as a separator when printing th argument list Pretty.Prefix just ignore type arguments.

val id : _ id t

Printer for ids

val type_ : type_ t

Printer for type_.

val type_fun : type_fun t

Printer for type_fun.

val ty_var : ty_var t

Printer to print type variables along with their types.

val ty_cst : ty_cst t

Printer to print type constants along with their types.

val term_var : term_var t

Printer to print term variables along with their types.

val term_cst : term_cst t

Printer to print term constants along with their types.

val ty : ty t

Printer for types.

val term : term t

Printer for terms.

val formula : formula t

Printer for formulas.

val ty_def : ty_def t

Printer for type definitions.