sig type a = float val eq : a -> a -> bool end