Patterns.Non_empty_row
type 'a t = 'a * Typedtree.pattern list
val of_initial : Typedtree.pattern list -> Typedtree.pattern t
'assert false' on empty rows
val map_first : ('a -> 'b) -> 'a t -> 'b t