package dolmen

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

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

Parameters

module L : ParseLocation.S

module I : Id_intf.Logic

module T : sig ... end

module S : sig ... end

Signature

exception Extension_not_found of string

type language =

| Dimacs
| ICNF
| Smtlib
| Tptp
| Zf

val enum : (string * language) list

val string_of_language : language -> string

val find : ?language:language -> ?dir:string -> string -> string option

val parse_file : ?language:language -> string -> language * S.t list

val parse_input : 
  ?language:language ->
  [ `File of string | `Stdin of language ] ->
  language * (unit -> S.t option)

module type S = sig ... end

val of_language : language -> language * string * (module S)

val of_extension : string -> language * string * (module S)