Module Deriving_num.Eq_num

module Eq_num: Deriving_Eq.Eq  with type a = Num.num

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