let
ex () = print_string
"\n#use \"resolution.ml\";;\n"