adamc@821: type t = string
adamc@821: 
adamc@828: val length : t -> int
adamc@828: 
adamc@828: val append : t -> t -> t
adamc@828: 
adamc@821: val sub : t -> int -> char
adamc@821: val suffix : t -> int -> string