adamc@764: type t
adamc@764: 
adamc@764: val create : string -> t
adamc@764: val out : t -> string
adamc@764: val frob : t -> string -> t
adamc@765: val print : transaction unit