module Gecode::SelectedSet::Element