Patterns.Simple
type view = [
|
`Any
|
`Constant of Asttypes.constant
|
`Tuple of Typedtree.pattern list
|
`Construct of
Longident.t Asttypes.loc
* Types.constructor_description
* Typedtree.pattern list
|
`Variant of Asttypes.label * Typedtree.pattern option * Types.row_desc ref
|
`Record of
(Longident.t Asttypes.loc * Types.label_description * Typedtree.pattern) list
* Asttypes.closed_flag
|
`Array of Typedtree.pattern list
|
`Lazy of Typedtree.pattern
]
type pattern = view Typedtree.pattern_data
val omega : [> view ] Typedtree.pattern_data