Parse a TouIST string into an Abstract Syntaxic Tree (AST).
After this step, the AST (its type is Types.Ast.t) can go through different functions:
val parse_sat : ?debug_syntax:bool ‑> ?filename:string ‑> string ‑> Types.Ast.t
parse_sat text
parses text
and outputs the corresponding ast
.
~debug:true
enable the display of the automata state number on parser
errors.
~filename:"foo.touist"
enables the display of a file name in errors.
val parse_smt : ?debug_syntax:bool ‑> ?filename:string ‑> string ‑> Types.Ast.t
val parse_qbf : ?debug_syntax:bool ‑> ?filename:string ‑> string ‑> Types.Ast.t