electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
val parse_file : string -> Raw.raw_problem

parse infile parses the file infile and returns its raw AST.

val parse_string : string -> Raw.raw_problem

parses a string and returns its corresponding raw AST