1 2 3 4 5 6 7 8
type t = string val length : t -> int val append : t -> t -> t val sub : t -> int -> char val suffix : t -> int -> string