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