module Make (P : PARSER) : sig .. end
include P
val parse_buf_rec : ?loc:Loc.t ->
mode:[< `Env of string | `None | `Relative ] ->
basedir:string ->
res:(A.statement, CCVector.rw) CCVector.t -> Lexing.lexbuf -> unit
val parse_rec : ?loc:A.Loc.t ->
mode:[< `Env of string | `None | `Relative ] ->
basedir:string ->
res:(A.statement, CCVector.rw) CCVector.t ->
[ `File of string | `Stdin ] -> unit
val parse : ?mode:[< `Env of string | `None | `Relative > `Relative ] ->
?into:(A.statement, CCVector.rw) CCVector.t ->
[ `File of string | `Stdin ] ->
((A.statement, CCVector.rw) CCVector.t, string) E.t
val parse_str_ : ((Lexing.lexbuf -> P.token) -> Lexing.lexbuf -> 'a) -> string -> 'a
val try_parse_ : ((Lexing.lexbuf -> P.token) -> Lexing.lexbuf -> 'a) ->
string -> ('a, string) E.t
val ty_of_string : string -> (Parsing_utils.ty, string) E.t
val ty_of_string_exn : string -> Parsing_utils.ty
val term_of_string : string -> (Parsing_utils.term, string) E.t
val term_of_string_exn : string -> Parsing_utils.term
val statement_of_string : string -> (Parsing_utils.statement, string) E.t
val statement_of_string_exn : string -> Parsing_utils.statement