Patterns.Generaltype view = [ | Half_simple.view| `Var of Ident.t * string Asttypes.loc| `Alias of Typedtree.pattern * Ident.t * string Asttypes.loc ]type pattern = view Typedtree.pattern_dataval view : Typedtree.pattern -> patternval erase : [< view ] Typedtree.pattern_data -> Typedtree.patternval strip_vars : pattern -> Half_simple.pattern