package ocaml-base-compiler

  1. Overview
  2. Docs
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
module Compat (Constr : sig ... end) : sig ... end
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_erase_mutable : Typedtree.pattern -> Typedtree.pattern list -> Typedtree.pattern list
val pressure_variants : Env.t -> Typedtree.pattern list -> unit
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
OCaml

Innovation. Community. Security.