Euclid.Extra.Tuple.ok

You're seeing just the function ok, go back to Euclid.Extra.Tuple module for more information.