equal
deleted
inserted
replaced
26 binary_ints: bool option, |
26 binary_ints: bool option, |
27 destroy_constrs: bool, |
27 destroy_constrs: bool, |
28 specialize: bool, |
28 specialize: bool, |
29 star_linear_preds: bool, |
29 star_linear_preds: bool, |
30 total_consts: bool option, |
30 total_consts: bool option, |
31 preconstrs: (term option * bool option) list, |
31 needs: (term option * bool option) list, |
32 tac_timeout: Time.time option, |
32 tac_timeout: Time.time option, |
33 evals: term list, |
33 evals: term list, |
34 case_names: (string * int) list, |
34 case_names: (string * int) list, |
35 def_tables: const_table * const_table, |
35 def_tables: const_table * const_table, |
36 nondef_table: const_table, |
36 nondef_table: const_table, |
259 binary_ints: bool option, |
259 binary_ints: bool option, |
260 destroy_constrs: bool, |
260 destroy_constrs: bool, |
261 specialize: bool, |
261 specialize: bool, |
262 star_linear_preds: bool, |
262 star_linear_preds: bool, |
263 total_consts: bool option, |
263 total_consts: bool option, |
264 preconstrs: (term option * bool option) list, |
264 needs: (term option * bool option) list, |
265 tac_timeout: Time.time option, |
265 tac_timeout: Time.time option, |
266 evals: term list, |
266 evals: term list, |
267 case_names: (string * int) list, |
267 case_names: (string * int) list, |
268 def_tables: const_table * const_table, |
268 def_tables: const_table * const_table, |
269 nondef_table: const_table, |
269 nondef_table: const_table, |