diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-05-31 10:59:24 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-05-31 10:59:24 +0200 |
| commit | ac8a84e3b4dc530b000e17b72c7e26f7a957420f (patch) | |
| tree | baf58d74b6629034cecb577eade044f29313cc4d /interp/constrexpr_ops.mli | |
| parent | 22db6304ffd45d7ae6e4a0acf909afb1ec55d02c (diff) | |
| parent | 0dc79e09b2b7c369b35191191aa257451a536540 (diff) | |
Merge PR #6969: [api] Remove functions deprecated in 8.8
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 |