pub fn v_enum(s: Set<ValueObj>) -> Type