Lines Matching defs:parameters
26 type Fparm = folTools.parameters
27 type Mparm = mlibMetis.parameters
28 type parameters = {interface : Fparm, solver : Mparm, limit : limit}
30 val defaults : parameters
31 val update_interface : (Fparm -> Fparm) -> parameters -> parameters
32 val update_solver : (Mparm -> Mparm) -> parameters -> parameters
33 val update_limit : (limit -> limit) -> parameters -> parameters
39 val GEN_METIS_SOLVE : parameters -> thm list -> Query -> Result stream
42 val GEN_METIS_TAC : parameters -> thm list -> tactic
47 (* Canned parameters for common situations *)