Euclid.List.compact

You're seeing just the function compact, go back to Euclid.List module for more information.