Parmatch (ocaml.Parmatch)

type !'pattern parmatch_case = {

pattern : 'pattern;
has_guard : bool;
needs_refute : bool;

}

val typed_case : 
  'category Typedtree.case ->
  'category Typedtree.general_pattern parmatch_case

val untyped_case : Parsetree.case -> Parsetree.pattern parmatch_case

val const_compare : Asttypes.constant -> Asttypes.constant -> int

val le_pat : Typedtree.pattern -> Typedtree.pattern -> bool

val le_pats : Typedtree.pattern list -> Typedtree.pattern list -> bool

module Compat (_ : sig ... end) : sig ... end

exception Empty

val lub : Typedtree.pattern -> Typedtree.pattern -> Typedtree.pattern

val lubs : 
  Typedtree.pattern list ->
  Typedtree.pattern list ->
  Typedtree.pattern list

val get_mins : ('a -> 'a -> bool) -> 'a list -> 'a list

val set_args : 
  Typedtree.pattern ->
  Typedtree.pattern list ->
  Typedtree.pattern list

val pat_of_constr : 
  Typedtree.pattern ->
  Types.constructor_description ->
  Typedtree.pattern

val complete_constrs : 
  Types.constructor_description Typedtree.pattern_data ->
  Types.constructor_description list ->
  Types.constructor_description list

val pats_of_type : Env.t -> Types.type_expr -> Typedtree.pattern list

val pressure_variants : Env.t -> Typedtree.pattern list -> unit

val pressure_variants_in_computation_pattern : 
  Env.t ->
  Typedtree.computation Typedtree.general_pattern list ->
  unit

val check_partial : 
  (Typedtree.pattern -> Typedtree.pattern option) ->
  Location.t ->
  Typedtree.value Typedtree.general_pattern parmatch_case list ->
  Typedtree.partial

val check_unused : 
  (bool -> Typedtree.pattern -> Typedtree.pattern option) ->
  Typedtree.value Typedtree.general_pattern parmatch_case list ->
  unit

val irrefutable : Typedtree.pattern -> bool

val inactive : partial:Typedtree.partial -> Typedtree.pattern -> bool

val check_ambiguous_bindings : Typedtree.value Typedtree.case list -> unit

val some_private_tag : Asttypes.label