module Gecode::SetEnum::Element