module Eq_num: Deriving_Eq.Eq with type a = Num.num
Deriving_Eq.Eq
with type a = Num.num
type a
val eq : a -> a -> bool
a -> a -> bool