Patterns.Generaltype view = [ | Half_simple.view| `Var of
Ident.t
* string Ocaml_parsing.Asttypes.loc
* Ocaml_typing.Types.Uid.t
* Jkind.Sort.t
* Mode.Value.l| `Alias of
Typedtree.pattern
* Ident.t
* string Ocaml_parsing.Asttypes.loc
* Ocaml_typing.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