package dolmen

You can search for identifiers within the package.

in-package search v0.2.0

package dolmen

doc
- CHANGES
- README
- Library dolmen
  - Dolmen
    
    Std
    
    Intf
    
    Line
    
    Ae
    
    Dimacs
    
    ICNF
    
    Tptp
    
    Smtlib2
    
    Zf
    
    Class
- Library dolmen.ae
  - Dolmen_ae
    
    Id
    
    Term
    
    Statement
    
    Make
    
    Lexer
    
    Parser
- Library dolmen.class
  - Dolmen_class
    
    Logic
    
    S
    
    S
    
    Lexer
    
    Parser
    
    Make
    
    S
    
    Lexer
    
    Parser
- Library dolmen.dimacs
  - Dolmen_dimacs
    
    Term
    
    Statement
    
    Make
    
    Lexer
    
    Parser
- Library dolmen.icnf
  - Dolmen_icnf
    
    Term
    
    Statement
    
    Make
    
    Lexer
    
    Parser
- Library dolmen.intf
  - Dolmen_intf
    
    Id
    
    Logic
    
    Escape
    
    Language
    
    S
    
    Lexer
    
    Parser
    
    Lex
    
    S
    
    Location
    
    S
    
    Map
    
    S
    
    Msg
    
    Parse
    
    S
    
    Stmt
    
    Logic
    
    Tag
    
    S
    
    Ae_Base
    
    Smtlib_Base
    
    Zf_Base
    
    Term
    
    Logic
    
    Tff
    
    Var
    
    Const
    
    Cstr
    
    Field
    
    Thf
    
    Var
    
    Const
    
    Cstr
    
    Field
    
    Dimacs
    
    Ae_Base
    
    Ae_Arith_Common
    
    Ae_Arith
    
    Int
    
    Real
    
    Ae_Array
    
    Ae_Bitv
    
    Tptp_Tff_Core
    
    Tptp_Thf_Core_Const
    
    Tptp_Thf_Core
    
    Const
    
    Tptp_Tff_Arith_Common
    
    Tptp_Tff_Arith
    
    Int
    
    Rat
    
    Real
    
    Smtlib_Base
    
    Smtlib_Arith_Common
    
    Smtlib_Int
    
    Smtlib_Real
    
    Smtlib_Real_Int
    
    Int
    
    Real
    
    Smtlib_Array
    
    Smtlib_Bitv
    
    Smtlib_Float_Bitv
    
    Smtlib_Float_Real
    
    Smtlib_Float_Float
    
    Smtlib_Float
    
    Real
    
    Bitv
    
    Float
    
    Smtlib_String_RegLan
    
    Smtlib_String_String
    
    RegLan
    
    Smtlib_String
    
    String
    
    RegLan
    
    Zf_Base
    
    Zf_Arith
    
    Int
    
    Tok
    
    Ty
    
    Tff
    
    Var
    
    Const
    
    Thf
    
    Var
    
    Const
    
    Ae_Base
    
    Ae_Arith
    
    Ae_Array
    
    Ae_Bitv
    
    Tptp_Base
    
    Tptp_Arith
    
    Smtlib_Base
    
    Smtlib_Int
    
    Smtlib_Real
    
    Smtlib_Real_Int
    
    Smtlib_Array
    
    Smtlib_Bitv
    
    Smtlib_Float
    
    Smtlib_String
    
    Zf_Base
    
    Zf_Arith
- Library dolmen.line
  - Dolmen_line
- Library dolmen.smtlib2
  - Dolmen_smtlib2
    
    V2_6
    
    Poly
    
    Latest
- Library dolmen.std
  - Dolmen_std
    
    Builtin
    
    Escape
    
    Arg
    
    Make
    
    Expr
    
    Tags
    
    Print
    
    Subst
    
    S
    
    Var
    
    Id
    
    Ty
    
    Var
    
    Const
    
    Term
    
    Var
    
    Const
    
    Cstr
    
    Field
    
    Bitv
    
    Float
    
    Int
    
    Rat
    
    Real
    
    String
    
    RegLan
    
    Id
    
    Map
    
    Loc
    
    S
    
    Maps
    
    S
    
    Int
    
    String
    
    Make
    
    Maps_string
    
    Misc
    
    Msg
    
    Name
    
    Map
    
    Namespace
    
    Map
    
    Normalize
    
    Tptp
    
    Smtlib
    
    Path
    
    Pretty
    
    Statement
    
    Stats
    
    Float
    
    Floats
    
    Tag
    
    Term
    
    Timer
    
    Tok
    
    Transformer
    
    Make
    
    Lexer
    
    Parser
    
    Vec
- Library dolmen.tptp
  - Dolmen_tptp
    
    V6_3_0
    
    Latest
- Library dolmen.zf
  - Dolmen_zf
    
    Id
    
    Term
    
    Statement
    
    Make
    
    Lexer
    
    Parser
- Library dolmen_smtlib2_poly
  - Dolmen_smtlib2_poly
    
    Id
    
    Term
    
    Statement
    
    Make
    
    Lexer
    
    Parser
- Library dolmen_smtlib2_v6
  - Dolmen_smtlib2_v6
    
    Id
    
    Term
    
    Statement
    
    Make
    
    Lexer
    
    Parser
- Library dolmen_tptp_v6_3_0
  - Dolmen_tptp_v6_3_0
    
    Id
    
    Term
    
    Statement
    
    Make
    
    Lexer
    
    Parser
- Sources
  - dolmen
    
    dolmen.ml
  - dolmen.ae
    
    ast.ml
    
    dolmen_ae.ml
    
    dolmen_ae__.ml
    
    lexer.ml
    
    parser.ml
    
    syntax_messages.ml
    
    tokens.ml
  - dolmen.class
    
    dolmen_class.ml
    
    logic.ml
  - dolmen.dimacs
    
    ast.ml
    
    dolmen_dimacs.ml
    
    dolmen_dimacs__.ml
    
    lexer.ml
    
    parser.ml
    
    syntax_messages.ml
    
    tokens.ml
  - dolmen.icnf
    
    ast.ml
    
    dolmen_icnf.ml
    
    dolmen_icnf__.ml
    
    lexer.ml
    
    parser.ml
    
    syntax_messages.ml
    
    tokens.ml
  - dolmen.intf
    
    dolmen_intf.ml
    
    id.ml
    
    language.ml
    
    lex.ml
    
    location.ml
    
    map.ml
    
    msg.ml
    
    parse.ml
    
    stmt.ml
    
    tag.ml
    
    term.ml
    
    tok.ml
    
    ty.ml
  - dolmen.line
    
    dolmen_line.ml
    
    dolmen_line__.ml
    
    lexLine.ml
  - dolmen.smtlib2
    
    dolmen_smtlib2.ml
  - dolmen.std
    
    builtin.ml
    
    dolmen_std.ml
    
    escape.ml
    
    expr.ml
    
    id.ml
    
    loc.ml
    
    maps.ml
    
    maps_string.ml
    
    misc.ml
    
    msg.ml
    
    name.ml
    
    namespace.ml
    
    normalize.ml
    
    path.ml
    
    pretty.ml
    
    statement.ml
    
    stats.ml
    
    tag.ml
    
    term.ml
    
    timer.ml
    
    tok.ml
    
    transformer.ml
    
    vec.ml
  - dolmen.tptp
    
    dolmen_tptp.ml
  - dolmen.zf
    
    ast.ml
    
    dolmen_zf.ml
    
    dolmen_zf__.ml
    
    lexer.ml
    
    parser.ml
    
    syntax_messages.ml
    
    tokens.ml
  - dolmen_smtlib2_poly
    
    ast.ml
    
    dolmen_smtlib2_poly.ml
    
    dolmen_smtlib2_poly__.ml
    
    lexer.ml
    
    parser.ml
    
    syntax_messages.ml
    
    tokens.ml
  - dolmen_smtlib2_v6
    
    ast.ml
    
    dolmen_smtlib2_v6.ml
    
    dolmen_smtlib2_v6__.ml
    
    lexer.ml
    
    parser.ml
    
    syntax_messages.ml
    
    tokens.ml
  - dolmen_tptp_v6_3_0
    
    ast.ml
    
    dolmen_tptp_v6_3_0.ml
    
    dolmen_tptp_v6_3_0__.ml
    
    lexer.ml
    
    parser.ml
    
    syntax_messages.ml
    
    tokens.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Smtlib_Float.Bitv`

Sub-module used for namespacing the bitvector part of the theory requirements

val mk : string -> t

Bitvector litteral.

package dolmen

Module Smtlib_Float.Bitv

Module `Smtlib_Float.Bitv`