print_endline "CONV:"; List.iter prerr_endline convs;
print_endline "NUMS:"; List.iter prerr_endline nums;
prerr_newline ();
- ) in Lambda4.main [Lambda4.magic_conv div convs nums ["*"]]
+ ) in Lambda4.solve (Lambda4.problem_of div convs nums)
;;
let main =