1structure buildcline_dtype = 2struct 3 4type t = {kernelspec : string option, 5 debug : bool, 6 help : bool, 7 jobcount : int option, 8 seqname : string option, 9 multithread : int option, 10 build_theory_graph : bool option, 11 selftest : int option, 12 relocbuild : bool} 13 14val initial : t = 15 { kernelspec = NONE, jobcount = NONE, seqname = NONE, help = false, 16 build_theory_graph = NONE, selftest = NONE, debug = false, 17 relocbuild = false, multithread = NONE 18 } 19 20type 'a final_options = 21 {build_theory_graph : bool, 22 cmdline : string list, 23 debug : bool, 24 selftest_level : int, 25 extra : 'a, 26 jobcount : int, 27 multithread : int option, 28 relocbuild : bool} 29 30 31 32 33end 34