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
adamc@766: 
adamc@766: val foo : transaction unit
adamc@766: val bar : string -> transaction unit
adamc@771: 
adamc@771: val transactional : transaction unit