Previous
Up
Next
Module
Deriving_Eq.Eq_bool
module
Eq_bool
:
Eq
H ± Ê@°ÀNH ± ³
type
a
val
eq
:
a
->
a
-> bool