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