1 2 3 4 5 6 7
type codepoint = int type unicode = codepoint list exception Utf8 val decode : string -> unicode (* raises Utf8 *) val encode : unicode -> string (* raises Utf8 *)