sig
  type t
  type char
  val length : CCKMP.STRING.t -> int
  val get : CCKMP.STRING.t -> int -> CCKMP.STRING.char
  val char_equal : CCKMP.STRING.char -> CCKMP.STRING.char -> bool
end