adamc@697: type t
adamc@697: 
adamc@697: val create : transaction t
adamc@697: val render : t -> signal xbody
adamc@697: val write : t -> string -> transaction unit