1 2 3 4 5 6
type t val create : string -> t val out : t -> string val frob : t -> string -> t val print : transaction unit