Module type Litiom_choice.DESCRIBABLE

module type DESCRIBABLE = sig .. end

type t 
val describe : t -> string