adam@0: (** Cancelable delayed actions *)
adam@0: 
adam@0: type t
adam@0: 
adam@0: val create : {Milliseconds : int,
adam@0:               Action : transaction {}} -> transaction t
adam@0: val cancel : t -> transaction {}