Lines Matching defs:parameters
43 (* Mapping parameters. *)
46 type parameters =
48 mapping_parm : folMapping.parameters};
50 type 'a parmupdate = ('a -> 'a) -> parameters -> parameters;
56 fun update_equality f (parm : parameters) : parameters =
64 fun update_combinator f (parm : parameters) : parameters =
72 fun update_boolean f (parm : parameters) : parameters =
80 fun update_mapping_parm f (parm : parameters) : parameters =
209 {parm : parameters,