Module MiniSyntacticAnalysis (.ml)

module MiniSyntacticAnalysis: sig .. end

This module provides a parser for program and a parser for constraint.

val parse_program_from_string : string -> MiniAst.program

Parse a program given as string.

val parse_constraint_from_string : string -> Constraint.tconstraint

Parse a constraint given as a string.