Melange_compiler_libs.Patterns
let omega: Typedtree.pattern;
aka. "Tpat_any" or "_"
let omegas: int => list(Typedtree.pattern);
List.init (fun _ -> omega)
let omega_list: list('a) => list(Typedtree.pattern);
List.map (fun _ -> omega)
module Non_empty_row: { ... };
module Simple: { ... };
module Half_simple: { ... };
module General: { ... };
module Head: { ... };