module Eq_num: Deriving_Eq.Eq um.mliBAAÀBA A@°£°
Deriving_Eq.Eq
um.mliBAAÀBA A@°£°
type a
val eq : a -> a -> bool
a -> a -> bool