= 768" x-on:close-sidebar="sidebar=window.innerWidth >= 768 && true">
ON THIS PAGE
package dolmen
-
dolmen
-
dolmen.intf
-
-
dolmen.line
-
dolmen.smtlib2
-
dolmen.std
-
-
dolmen.tptp
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Parameters
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
module Lexer = Lex
module Parser = Parse
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)
ON THIS PAGE