Lines Matching defs:parameters
15 type parameters =
16 {clause_parm : mlibClause.parameters,
17 set_parm : mlibClauseset.parameters,
18 sos_parm : mlibSupport.parameters}
20 type 'a parmupdate = ('a -> 'a) -> parameters -> parameters
21 val defaults : parameters
22 val update_clause_parm : mlibClause.parameters parmupdate
23 val update_set_parm : mlibClauseset.parameters parmupdate
24 val update_sos_parm : mlibSupport.parameters parmupdate
28 val new : parameters * units * thm list * thm list -> resolution
41 val resolution' : string * parameters -> mlibSolver.solver_node