Patterns.Non_empty_row
type !'a t = 'a * Typedtree.pattern list
val of_initial : Typedtree.pattern list -> Typedtree.pattern t
val map_first : ('a -> 'b) -> 'a t -> 'b t