Parser.Make
Make(Theory) parses AST to the specified Theory terms.
Make(Theory)
Theory
module S : Core
val run : ('e, 'r, 's) parser -> 's list -> unit eff
run parser program the starting rule of the parser.
run parser program
Applies the parser to a sequence of statements and computes a denotation of program in a Core Theory terms.
program