sig
  type t = int * Cstring.cst
  val compare : MemTyped.LITERAL.t -> MemTyped.LITERAL.t -> int
  val pretty : Format.formatter -> int * Cstring.cst -> unit
end