comparison timer.urs @ 0:37eefd0a2ed4

Import code from elsewhere
author Adam Chlipala <adam@chlipala.net>
date Tue, 14 Dec 2010 10:55:22 -0500
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:37eefd0a2ed4
1 (** Cancelable delayed actions *)
2
3 type t
4
5 val create : {Milliseconds : int,
6 Action : transaction {}} -> transaction t
7 val cancel : t -> transaction {}