diff options
| author | Emilio Jesus Gallego Arias | 2018-03-11 01:14:28 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-05-30 17:50:37 +0200 |
| commit | 0dc79e09b2b7c369b35191191aa257451a536540 (patch) | |
| tree | 56ecf715bf703828818c31a2279718cc1e31d479 /engine/evarutil.mli | |
| parent | 118d24281bc62bb7ff503abee56f156545eb9eea (diff) | |
[api] Remove deprecated objects in engine / interp / library
Diffstat (limited to 'engine/evarutil.mli')
| -rw-r--r-- | engine/evarutil.mli | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/engine/evarutil.mli b/engine/evarutil.mli index 3ab2d3e348..f271c14ea2 100644 --- a/engine/evarutil.mli +++ b/engine/evarutil.mli @@ -259,12 +259,6 @@ val subterm_source : Evar.t -> ?where:Evar_kinds.subevar_kind -> Evar_kinds.t Lo val meta_counter_summary_tag : int Summary.Dyn.tag -(** Deprecated *) -type type_constraint = types option -[@@ocaml.deprecated "use the version in Evardefine"] -type val_constraint = constr option -[@@ocaml.deprecated "use the version in Evardefine"] - val e_new_evar : env -> evar_map ref -> ?src:Evar_kinds.t Loc.located -> ?filter:Filter.t -> ?candidates:constr list -> ?store:Store.t -> |