diff lib/ur/basis.urs @ 694:7ea0df9e56b6

spawn
author Adam Chlipala <adamc@hcoop.net>
date Sat, 04 Apr 2009 14:55:36 -0400
parents cc58941da3e2
children 500e93aa436f
line wrap: on
line diff
--- a/lib/ur/basis.urs	Sat Apr 04 14:03:39 2009 -0400
+++ b/lib/ur/basis.urs	Sat Apr 04 14:55:36 2009 -0400
@@ -105,6 +105,7 @@
 (** JavaScript-y gadgets *)
 
 val alert : string -> transaction unit
+val spawn : transaction unit -> transaction unit
 
 
 (** Channels *)