Module Eq.Eq_num


module Eq_num: Eq  with type a = Num.num

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