diff options
Diffstat (limited to 'interp/topconstr.mli')
| -rw-r--r-- | interp/topconstr.mli | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/interp/topconstr.mli b/interp/topconstr.mli index 3b5832f18c..2f25be94c8 100644 --- a/interp/topconstr.mli +++ b/interp/topconstr.mli @@ -252,5 +252,8 @@ type 'a module_signature = | Enforce of 'a (* ... : T *) | Check of 'a list (* ... <: T1 <: T2, possibly empty *) -val ntn_loc : Util.loc -> constr_expr notation_substitution -> string -> int -val patntn_loc : Util.loc -> cases_pattern_expr notation_substitution -> string -> int +val ntn_loc : + Util.loc -> constr_expr notation_substitution -> string -> (int * int) list +val patntn_loc : + Util.loc -> cases_pattern_expr notation_substitution -> string -> + (int * int) list |