Up
Module type
Setoid.Setoid
module type
Setoid
=
sig
..
end
type
t
val
equals
:
t
->
t
-> bool