sig
  type t = textid
  type encoded_type = char array
  val encode : t -> encoded_type
  val decode : encoded_type -> t
  val compare : t -> t -> int
  val fprintf_value : Format.formatter -> t -> unit
end