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