Module Deriving_num.Eq_num

module Eq_num: Deriving_Eq.Eq num.mliBAABAA@

type a 
val eq : a -> a -> bool