Euclid.Enum.at-exclamation-mark

You're seeing just the function at-exclamation-mark, go back to Euclid.Enum module for more information.