Patterns (ocaml.Patterns)

val omega : Typedtree.pattern

aka. "Tpat_any" or "_"

val omegas : int -> Typedtree.pattern list

List.init (fun _ -> omega)

val omega_list : 'a list -> Typedtree.pattern list

List.map (fun _ -> omega)

module Non_empty_row : sig ... end

module Simple : sig ... end

module Half_simple : sig ... end

module General : sig ... end

module Head : sig ... end