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