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