1 let add_to_load_path path =
2 if mem path !load_path then ()
3 else load_path := path :: !load_path;;
5 let formal_ineqs_dir = flyspeck_dir ^ "/../formal_ineqs";;
6 add_to_load_path formal_ineqs_dir;;
8 needs "arith_options.hl";;
9 Arith_options.base := 100;;
10 Arith_options.cached := false;;
12 needs "arith/nat.hl";;