diff options
Diffstat (limited to 'interp/topconstr.mli')
| -rw-r--r-- | interp/topconstr.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/interp/topconstr.mli b/interp/topconstr.mli index a30c14966a..b288fe8b5c 100644 --- a/interp/topconstr.mli +++ b/interp/topconstr.mli @@ -82,6 +82,9 @@ type interpretation = val match_aconstr : rawconstr -> interpretation -> (rawconstr * subscopes) list * (rawconstr list * subscopes) list +val match_aconstr_cases_pattern : cases_pattern -> interpretation -> + (cases_pattern * subscopes) list * (cases_pattern list * subscopes) list + (** Substitution of kernel names in interpretation data *) val subst_interpretation : substitution -> interpretation -> interpretation |