let equal : t -> t -> bool = ( = )