module Eq_unit: Eq •Ŕ ,Eq_immutable°
Eq
•Ŕ ,Eq_immutable°
type a
val eq : a -> a -> bool
a -> a -> bool