diff options
| author | Emilio Jesus Gallego Arias | 2018-02-28 21:03:14 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-06-04 17:33:47 +0200 |
| commit | 9a86eda0766fcc405b57183854c5095cc14cffaa (patch) | |
| tree | 0df64107f4a56a7cbcd2755ec44c093484a7745c /engine/termops.mli | |
| parent | 06ae11ea4e18766007579d47ee73b7b292a75ba4 (diff) | |
[termops] Update type of function, anyways not used in the codebase.
Note that `Assumptions` ships its own copy, but for `Constr.t`.
Diffstat (limited to 'engine/termops.mli')
| -rw-r--r-- | engine/termops.mli | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/engine/termops.mli b/engine/termops.mli index 6e63539ca3..2554940314 100644 --- a/engine/termops.mli +++ b/engine/termops.mli @@ -75,8 +75,9 @@ val fold_constr_with_binders : Evd.evar_map -> ('a -> 'a) -> ('a -> 'b -> constr -> 'b) -> 'a -> 'b -> constr -> 'b val fold_constr_with_full_binders : Evd.evar_map -> - (Context.Rel.Declaration.t -> 'a -> 'a) -> ('a -> 'b -> constr -> 'b) -> - 'a -> 'b -> constr -> 'b + (rel_declaration -> 'a -> 'a) -> + ('a -> 'b -> constr -> 'b) -> + 'a -> 'b -> constr -> 'b val iter_constr_with_full_binders : Evd.evar_map -> (rel_declaration -> 'a -> 'a) -> |