A record enumerate domain