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