V_2_6 (p.smtlib-utils.0.3.doc.smtlib-utils.Smtlib_utils.V_2

Sourcemodule Ast : sig ... end

Sourcemodule Loc : sig ... end

Sourcemodule Parser : sig ... end

Sourcemodule Lexer : sig ... end

Sourceval parse_file_exn : string -> Ast.statement list

Parse the given file.

Sourceval parse_file : string -> (Ast.statement list, string) Result.result

Sourceval parse_list : Lexing.lexbuf -> (Ast.statement list, string) Result.result

Sourceval parse_list_exn : Lexing.lexbuf -> Ast.statement list

Sourceval parse_chan_exn : ?filename:string -> in_channel -> Ast.statement list

Parse the given channel.

val parse_chan : 
  ?filename:string ->
  in_channel ->
  (Ast.statement list, string) Result.result

Sourceval parse_string_exn : string -> Ast.statement list

Parse content of the string

Sourceval parse_string : string -> (Ast.statement list, string) Result.result

Parse content of the string