Lines Matching defs:parameters
40 (* Mapping parameters. *)
43 type parameters =
51 fun update_higher_order f (parm : parameters) : parameters =
56 fun update_with_types f (parm : parameters) : parameters =
282 fun atom ({higher_order, with_types} : parameters) p
488 fun hol_term_to_fol (parm : parameters) (tmV, tyV) =
557 fun fol_term_to_hol' ({higher_order, with_types = true, ...} : parameters) =
577 | fol_term_to_hol' ({higher_order, with_types = false, ...} : parameters) =