module type Enumerable =sig..end
enum.
If you create a new data structure, you should make it compatible
with Enumerable.
type 'a enumerable
'a List.tval enum : 'a enumerable -> 'a BatEnum.tval of_enum : 'a BatEnum.t -> 'a enumerable