sig
  val parse_program_from_string : string -> MiniAst.program
  val parse_constraint_from_string : string -> Constraint.tconstraint
  val register_tasks : unit -> unit
  val parse_program_task : Processing.task_name
  val parse_constraint_task : Processing.task_name
end