Module Deriving_num.Eq_num

module Eq_num: Deriving_Eq.Eq um.mliBAAÀBAA@°£° 

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