jon.recoil.org

Module Ocaml_typing.Patterns

aka. "Tpat_any" or "_"

val omegas : int -> Ocaml_typing.Typedtree.pattern list

List.init (fun _ -> omega)

val omega_list : 'a list -> Ocaml_typing.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