Module `Patterns.Head`

type desc =

| Any
| Construct of Types.constructor_description
| Constant of Typedtree.constant
| Tuple of string option list
| Unboxed_tuple of (string option * Jkind.sort) list
| Record of Types.label_description list
| Record_unboxed_product of Types.unboxed_label_description list
| Variant of {
1. tag : Asttypes.label;
2. has_arg : bool;
3. cstr_row : Types.row_desc Stdlib.ref;
4. type_row : unit -> Types.row_desc;
}
| Array of Types.mutability * Jkind.sort * int
| Lazy

type t = Patterns.Head.desc Typedtree.pattern_data

val arity : Patterns.Head.t -> int

val deconstruct : 
  Patterns.Simple.pattern ->
  Patterns.Head.t * Typedtree.pattern list

deconstruct p returns the head of p and the list of sub patterns.

raises [Invalid_arg
_] if p is an or- or an exception-pattern.

val to_omega_pattern : Patterns.Head.t -> Typedtree.pattern

reconstructs a pattern, putting wildcards as sub-patterns.

val omega : Patterns.Head.t