Euclid.Difference.diff

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