Lines Matching defs:parameters
17 type parameters =
21 termorder_parm : mlibTermorder.parameters}
23 type 'a parmupdate = ('a -> 'a) -> parameters -> parameters
24 val defaults : parameters
28 val update_termorder_parm : mlibTermorder.parameters parmupdate
33 type bits = {parm : parameters, id : int, thm : thm, order : termorder}
34 val mk_clause : parameters -> thm -> clause
40 val rebrand : parameters -> clause -> clause
53 val empty : parameters -> rewrs