electrod.libelectrod
Libelectrod.Parser_main
Calls the parser and returns the raw AST.
val parse_file : string -> Raw.raw_problem
parse infile parses the file infile and returns its raw AST.
parse infile
infile
val parse_string : string -> Raw.raw_problem
parses a string and returns its corresponding raw AST