sig type t val all : Litiom_choice.ENUMERABLE.t list end