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