Patterns.General
type 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_data
val view : Typedtree.pattern -> pattern
val erase : [< view ] Typedtree.pattern_data -> Typedtree.pattern
val strip_vars : pattern -> Half_simple.pattern