Module type CCKMP.STRING

module type STRING = sig .. end

type t 
type char 
val length : t -> int
val get : t -> int -> char
val char_equal : char -> char -> bool