Module type Litiom_choice.ENUMERABLE

module type ENUMERABLE = sig .. end

type t 
val all : t list