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