• en

Module Parmatch

val pretty_const : Asttypes.constant -> string
val top_pretty : Format.formatter -> Typedtree.pattern -> unit
val pretty_pat : Typedtree.pattern -> unit
val pretty_line : Typedtree.pattern list -> unit
val pretty_matrix : Typedtree.pattern list list -> unit
val omega : Typedtree.pattern
val omegas : int -> Typedtree.pattern list
val omega_list : 'a list -> Typedtree.pattern list
val normalize_pat : Typedtree.pattern -> Typedtree.pattern
val all_record_args : (Longident.t Asttypes.loc * Types.label_description * Typedtree.pattern) list -> (Longident.t Asttypes.loc * Types.label_description * Typedtree.pattern) list
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
val compat : Typedtree.pattern -> Typedtree.pattern -> bool
val compats : Typedtree.pattern list -> Typedtree.pattern list -> bool
exception Empty
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 set_args_erase_mutable : Typedtree.pattern -> Typedtree.pattern list -> Typedtree.pattern list
val complete_constrs : Typedtree.pattern -> Types.constructor_tag list -> Types.constructor_description list
val pressure_variants : Env.t -> Typedtree.pattern list -> unit
val check_partial : Location.t -> Typedtree.case list -> Typedtree.partial
val check_partial_gadt : (string, Types.constructor_description) Hashtbl.t -> (string, Types.label_description) Hashtbl.t -> Parsetree.pattern -> Typedtree.pattern option -> Location.t -> Typedtree.case list -> Typedtree.partial
val check_unused : Env.t -> Typedtree.case list -> unit
val irrefutable : Typedtree.pattern -> bool
val fluid : Typedtree.pattern -> bool