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