jon.recoil.org

Module Patterns.Simple

type view = [
  1. | `Any
  2. | `Constant of Typedtree.constant
  3. | `Tuple of (string option * Typedtree.pattern) list
  4. | `Unboxed_tuple of (string option * Typedtree.pattern * Jkind.sort) list
  5. | `Construct of Longident.t Asttypes.loc * Types.constructor_description * Typedtree.pattern list
  6. | `Variant of Asttypes.label * Typedtree.pattern option * Types.row_desc Stdlib.ref
  7. | `Record of (Longident.t Asttypes.loc * Types.label_description * Typedtree.pattern) list * Asttypes.closed_flag
  8. | `Record_unboxed_product of (Longident.t Asttypes.loc * Types.unboxed_label_description * Typedtree.pattern) list * Asttypes.closed_flag
  9. | `Array of Types.mutability * Jkind.sort * Typedtree.pattern list
  10. | `Lazy of Typedtree.pattern
]