Patternsval omega : Typedtree.patternval omegas : int -> Typedtree.pattern listval omega_list : 'a list -> Typedtree.pattern listmodule Non_empty_row : sig ... endmodule Simple : sig ... endmodule Half_simple : sig ... endmodule General : sig ... endmodule Head : sig ... end