Euclid.Exists.filter

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