Module type Parsing_utils.S

module type S = sig .. end

val parse : ?mode:Parsing_utils.include_mode ->
       ?into:Parsing_utils.statement CCVector.vector ->
       [ `File of string | `Stdin ] ->
       Parsing_utils.statement CCVector.vector Parsing_utils.or_error

val ty_of_string : string -> Parsing_utils.ty Parsing_utils.or_error

val ty_of_string_exn : string -> Parsing_utils.ty

val term_of_string : string -> Parsing_utils.term Parsing_utils.or_error

val term_of_string_exn : string -> Parsing_utils.term

val statement_of_string : string -> Parsing_utils.statement Parsing_utils.or_error

val statement_of_string_exn : string -> Parsing_utils.statement