sig type t val describe : Litiom_choice.DESCRIBABLE.t -> string end