diff options
| -rw-r--r-- | pretyping/termops.mli | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/pretyping/termops.mli b/pretyping/termops.mli index 1e3d2e4e9f..826104f59b 100644 --- a/pretyping/termops.mli +++ b/pretyping/termops.mli @@ -62,9 +62,6 @@ val it_mkNamedLambda_or_LetIn : constr -> named_context -> constr the context where the letins are expanded *) val it_mkLambda_or_LetIn_from_no_LetIn : constr -> rel_context -> constr -val it_named_context_quantifier : - (named_declaration -> 'a -> 'a) -> init:'a -> named_context -> 'a - (** {6 Generic iterators on constr} *) val map_constr_with_named_binders : |