Up

module Parmatch

: sig
#
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 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
end