Euclid.Exists.presence
You're seeing just the function
presence
, go back to Euclid.Exists module for more information.
This function is deprecated. Use `Euclid.Term.presence/1` instead.