type t = string

val length : t -> int

val append : t -> t -> t

val sub : t -> int -> char
val suffix : t -> int -> string