Module Parsing

val log_verbose : ?title:string -> ?severity:Logging.Logging_constants.Severity.t -> ((('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a) -> unit) -> unit
val col : Stdlib.Lexing.position -> int
val parse : ((Stdlib.Lexing.lexbuf -> Parsing__.Javert_Parser.token) -> Stdlib.Lexing.lexbuf -> 'a) -> Stdlib.Lexing.lexbuf -> 'a
val parse_from_string : ((Stdlib.Lexing.lexbuf -> Parsing__.Javert_Parser.token) -> Stdlib.Lexing.lexbuf -> 'a) -> string -> 'a
val parse_js_pre_from_string : string -> (string * Utils.Containers.SS.t) option * Jslogic.JSAsrt.t
val parse_js_logic_assertion_from_string : string -> Jslogic.JSAsrt.t
val parse_js_logic_assertion_list_from_string : string -> Jslogic.JSAsrt.t list
val parse_js_logic_predicate_from_string : string -> Jslogic.JSPred.t
val parse_js_only_spec_from_string : string -> Jslogic.JSSpec.t
val parse_js_logic_commands_from_string : string -> Jslogic.JSLCmd.t list
val parse_expr_from_string : string -> Gillian.Gil_syntax.Expr.t
val parse_jsil_eprog_from_file : string -> Jsil_syntax.EProg.t