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