Lines Matching defs:parameters
44 type parameters =
48 termorder_parm : mlibTermorder.parameters};
50 type 'a parmupdate = ('a -> 'a) -> parameters -> parameters;
58 fun update_term_order f (parm : parameters) : parameters =
67 fun update_literal_order f (parm : parameters) : parameters =
76 fun update_order_stickiness f (parm : parameters) : parameters =
85 fun update_termorder_parm f (parm : parameters) : parameters =
149 fun tm_order (parm : parameters) lrs c =
154 fun term_order (parm : parameters) l r c =
179 fun no_constraints ({termorder_parm = p, ...} : parameters) = T.empty p;
188 fun constraint_consistent (p : parameters) to =
207 type bits = {parm : parameters, id : int, thm : thm, order : termorder};
209 datatype clause = CL of parameters * int * thm * termorder * derivation
367 datatype rewrs = REWR of parameters * mlibRewrite.rewrs;