sig type t = deref val equal : t -> t -> bool val compare : t -> t -> int val pretty : t Pretty_utils.formatter end