Magik.Contract.validate

You're seeing just the function validate, go back to Magik.Contract module for more information.