Euclid.Exists.first_present

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