Piazza.Crypto.RSA.sep

You're seeing just the function sep, go back to Piazza.Crypto.RSA module for more information.