Patterns.Generaltype view = [ | `Alias of Typedtree.pattern * Ident.t * string Asttypes.loc| `Any| `Array of Typedtree.pattern list| `Constant of Asttypes.constant| `Construct of
Longident.t Asttypes.loc
* Types.constructor_description
* Typedtree.pattern list| `Lazy of Typedtree.pattern| `Or of Typedtree.pattern * Typedtree.pattern * Types.row_desc option| `Record of
(Longident.t Asttypes.loc * Types.label_description * Typedtree.pattern) list
* Asttypes.closed_flag| `Tuple of Typedtree.pattern list| `Var of Ident.t * string Asttypes.loc| `Variant of Asttypes.label * Typedtree.pattern option * Types.row_desc ref ]type pattern = view Typedtree.pattern_dataval view : Typedtree.pattern -> patternval erase : [< view ] Typedtree.pattern_data -> Typedtree.patternval strip_vars : pattern -> Half_simple.pattern