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 f56550dd5..155ac9ca8 100644 --- a/interp/topconstr.mli +++ b/interp/topconstr.mli @@ -38,6 +38,9 @@ type aconstr = (cases_pattern list * aconstr) list | ALetTuple of name list * (name * aconstr option) * aconstr * aconstr | AIf of aconstr * (name * aconstr option) * aconstr * aconstr + | ARec of fix_kind * identifier array * + (name * aconstr option * aconstr) list array * aconstr array * + aconstr array | ASort of rawsort | AHole of Evd.hole_kind | APatVar of patvar |