let register_tasks () = Processing.register print_constraint_task ([], ignore) [ [ MiniInfer.generate_constraint_task; MiniSyntacticAnalysis.parse_constraint_task ] ] print_constraint (Misc.const true)