Patterns
val omega : Typedtree.pattern
val omegas : int -> Typedtree.pattern list
val omega_list : 'a list -> Typedtree.pattern list
module Non_empty_row : sig ... end
module Simple : sig ... end
module Half_simple : sig ... end
module General : sig ... end
module Head : sig ... end