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