diff options
| author |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-03-11 01:14:28 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-05-30 17:50:37 +0200 |
| commit | 0dc79e09b2b7c369b35191191aa257451a536540 (patch) | |
| tree | 56ecf715bf703828818c31a2279718cc1e31d479 /interp/constrexpr_ops.mli | |
| parent | 118d24281bc62bb7ff503abee56f156545eb9eea (diff) | |
[api] Remove deprecated objects in engine / interp / library
Diffstat (limited to 'interp/constrexpr_ops.mli')
| -rw-r--r-- | interp/constrexpr_ops.mli | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/interp/constrexpr_ops.mli b/interp/constrexpr_ops.mli index d038bd71a..2df9e5a8c 100644 --- a/interp/constrexpr_ops.mli +++ b/interp/constrexpr_ops.mli @@ -60,14 +60,6 @@ val mkCPatOr : ?loc:Loc.t -> cases_pattern_expr list -> cases_pattern_expr val mkAppPattern : ?loc:Loc.t -> cases_pattern_expr -> cases_pattern_expr list -> cases_pattern_expr (** Apply a list of pattern arguments to a pattern *) -(** @deprecated variant of mkCLambdaN *) -val abstract_constr_expr : constr_expr -> local_binder_expr list -> constr_expr -[@@ocaml.deprecated "deprecated variant of mkCLambdaN"] - -(** @deprecated variant of mkCProdN *) -val prod_constr_expr : constr_expr -> local_binder_expr list -> constr_expr -[@@ocaml.deprecated "deprecated variant of mkCProdN"] - (** {6 Destructors}*) val coerce_reference_to_id : reference -> Id.t |