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