dolmen

A parser library for automated deduction
package dolmen
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library dolmen.std
Module Dolmen_std . Transformer . Make

Parameters

module Loc : Loc.S
module Ty : sig ... end
module Lex : Dolmen_intf.Lex.S with type token := Ty.token
module Parse : Dolmen_intf.Parse.S with type token := Ty.token and type statement := Ty.statement

Signature

include module type of struct include Ty end
type token = Ty.token
type statement = Ty.statement
val env : string list
val incremental : bool
val error : int -> string
module Lexer = Lex
module Parser = Parse
val find_env : string -> string list -> string option
val find : ?dir:string -> string -> string option
val error_message : Ty.token option -> int -> [> `Advanced of ( Stdlib.Format.formatter -> unit ) * ( Stdlib.Format.formatter -> unit ) * ( Stdlib.Format.formatter -> unit ) | `Regular of Stdlib.Format.formatter -> unit ]
val parse_aux : k_exn:( unit -> unit ) -> ( Stdlib.Lexing.lexbuf -> unit ) -> ( Stdlib.Lexing.lexbuf -> unit ) -> Stdlib.Lexing.lexbuf -> ( ( Stdlib.Lexing.lexbuf -> Ty.token ) -> Stdlib.Lexing.lexbuf -> 'a ) -> unit -> 'b
val parse_file : string -> Loc.file * Ty.statement list
val parse_file_lazy : string -> Loc.file * Ty.statement list lazy_t
val parse_input : [ `Contents of string * string | `File of string | `Stdin ] -> Loc.file * ( unit -> Ty.statement option ) * ( unit -> unit )