package touist

  1. Overview
  2. Docs

Parse a TouIST string into an Abstract Syntaxic Tree (AST).

After this step, the AST (its type is TouistTypes.Ast.t) can go through different functions:

Parsing TouIST

val parse_sat : ?debug:bool -> ?filename:string -> string -> TouistTypes.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:bool -> ?filename:string -> string -> TouistTypes.Ast.t
val parse_qbf : ?debug:bool -> ?filename:string -> string -> TouistTypes.Ast.t

Utility functions

val string_of_chan : Pervasives.in_channel -> string
val string_of_file : string -> string
OCaml

Innovation. Community. Security.