Lines Matching defs:parameters
36 (* Tuning parameters. *)
39 type parameters =
59 type 'a Parmupdate = ('a -> 'a) -> parameters -> parameters
61 fun update_ancestor_pruning f (parm : parameters) : parameters =
72 fun update_ancestor_cutting f (parm : parameters) : parameters =
83 fun update_state_simplify f (parm : parameters) : parameters =
94 fun update_cache_cutting f (parm : parameters) : parameters =
105 fun update_divide_conquer f (parm : parameters) : parameters =
116 fun update_unit_lemmaizing f (parm : parameters) : parameters =
127 fun update_sort_literals f (parm : parameters) : parameters =
138 fun update_sort_rules f (parm : parameters) : parameters =
273 val {sort_literals, sort_rules, ...} : parameters = parm
462 fun meson_expand {parm : parameters, rules, cut, meter, saturated} =
552 {parm : parameters, rules : rules, meter : meter ref, saturated : bool ref,