ocaml-base-compiler 4.06.1

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

module Compat (Constr : 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 set_args_erase_mutable : 
  Typedtree.pattern ->
  Typedtree.pattern list ->
  Typedtree.pattern list

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

val complete_constrs : 
  Typedtree.pattern ->
  Types.constructor_tag list ->
  Types.constructor_description list

val ppat_of_type : 
  Env.t ->
  Types.type_expr ->
  Parsetree.pattern
  * (string, Types.constructor_description) Hashtbl.t
  * (string, Types.label_description) Hashtbl.t

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

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 : 
  (bool ->
    (string, Types.constructor_description) Hashtbl.t ->
    (string, Types.label_description) Hashtbl.t ->
    Parsetree.pattern ->
    Typedtree.pattern option) ->
  Typedtree.case list ->
  unit

val irrefutable : Typedtree.pattern -> bool

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

An inactive pattern is a pattern, matching against which can be duplicated, erased or delayed without change in observable behavior of the program. Patterns containing (lazy _) subpatterns or reads of mutable fields are active.

val check_ambiguous_bindings : Typedtree.case list -> unit

val some_other_tag : Asttypes.label

package ocaml-base-compiler