module Eq_num: Deriving_Eq.Eq num.mliBAABA A@
Deriving_Eq.Eq
num.mliBAABA A@
type a
val eq : a -> a -> bool
a -> a -> bool