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