diff lib/ur/basis.urs @ 1349:87156c44824f

Periodic tasks
author Adam Chlipala <adam@chlipala.net>
date Sat, 18 Dec 2010 15:17:09 -0500
parents 8a169fc0838b
children a0f0823a54a0
line wrap: on
line diff
--- a/lib/ur/basis.urs	Sat Dec 18 14:17:45 2010 -0500
+++ b/lib/ur/basis.urs	Sat Dec 18 15:17:09 2010 -0500
@@ -813,6 +813,7 @@
 con task_kind :: Type -> Type
 val initialize : task_kind unit
 val clientLeaves : task_kind client
+val periodic : int -> task_kind unit
 
 
 (** Information flow security *)