sig type t = LogicId.id val compare : 'a -> 'a -> int val hash : 'a -> int val equal : 'a -> 'a -> bool val pretty : Format.formatter -> string * int -> unit end