Lines Matching defs:parameters
38 type parameters =
39 {clause_parm : mlibClause.parameters,
40 set_parm : mlibClauseset.parameters,
41 sos_parm : mlibSupport.parameters};
43 val defaults : parameters =
48 type 'a parmupdate = ('a -> 'a) -> parameters -> parameters;
50 fun update_clause_parm f (parm : parameters) : parameters =
55 fun update_set_parm f (parm : parameters) : parameters =
60 fun update_sos_parm f (parm : parameters) : parameters =
120 fun mk_thms_hyps (clause_parm : mlibClause.parameters) thms hyps =
131 fun new (parm : parameters, units, thms, hyps) =
273 fun resolution' (name, parm : parameters) =