Patterns.Generaltype view = [ | Half_simple.view| `Var of
Ident.t * string Asttypes.loc * Types.Uid.t * Jkind.Sort.t * Mode.Value.l| `Fun_layout of
Ident.t
* string Asttypes.loc
* Types.Uid.t
* Jkind.Sort.t
* Mode.Value.l
* Types.Lpoly.t
* Typedtree.alloc_mode| `Alias of
Typedtree.pattern
* Ident.t
* string Asttypes.loc
* Types.Uid.t
* Jkind.Sort.t
* Mode.Value.l
* Types.type_expr ]type pattern = view Typedtree.pattern_dataval view : Typedtree.pattern -> patternval erase : [< view ] Typedtree.pattern_data -> Typedtree.patternval strip_vars : pattern -> Half_simple.pattern