diff options
Diffstat (limited to 'intf/pattern.mli')
| -rw-r--r-- | intf/pattern.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/intf/pattern.mli b/intf/pattern.mli index 4fa5f418d..b04db3bfa 100644 --- a/intf/pattern.mli +++ b/intf/pattern.mli @@ -55,7 +55,7 @@ type extended_patvar_map = constr_under_binders Id.Map.t type case_info_pattern = { cip_style : case_style; cip_ind : inductive option; - cip_ind_args : int option; (** number of params and args *) + cip_ind_tags : bool list option; (** indicates LetIn/Lambda in arity *) cip_extensible : bool (** does this match end with _ => _ ? *) } type constr_pattern = @@ -73,7 +73,7 @@ type constr_pattern = | PMeta of patvar option | PIf of constr_pattern * constr_pattern * constr_pattern | PCase of case_info_pattern * constr_pattern * constr_pattern * - (int * int * constr_pattern) list (** index of constructor, nb of args *) + (int * bool list * constr_pattern) list (** index of constructor, nb of args *) | PFix of fixpoint | PCoFix of cofixpoint |