sig type a = Num.num val eq : a -> a -> bool end