Module `Patterns.General`Source

Sourcetype view = [

| Half_simple.view
| `Var of Ident.t * string Ocaml_parsing.Asttypes.loc * Ocaml_typing.Types.Uid.t
| `Alias of Typedtree.pattern * Ident.t * string Ocaml_parsing.Asttypes.loc * Ocaml_typing.Types.Uid.t * Types.type_expr

]

Sourcetype pattern = view Typedtree.pattern_data

Sourceval view : Typedtree.pattern -> pattern

Sourceval erase : [< view ] Typedtree.pattern_data -> Typedtree.pattern

Sourceval strip_vars : pattern -> Half_simple.pattern