Module type Enumerable.S2

type ('a, 'b) t
val all : 'a list -> 'b list -> ('a, 'b) t list