Module `Patterns.General`

type view = [

| Half_simple.view
| `Var of Ident.t * string Asttypes.loc * Types.Uid.t * Jkind.Sort.t * Mode.Value.l
| `Fun_layout of Ident.t * string Asttypes.loc * Types.Uid.t * Jkind.Sort.t * Mode.Value.l * Types.Lpoly.t * Typedtree.alloc_mode
| `Alias of Typedtree.pattern * Ident.t * string Asttypes.loc * Types.Uid.t * Jkind.Sort.t * Mode.Value.l * Types.type_expr

]

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