Mercurial > urweb

diff lib/basis.urs @ 575:9f02f1765149

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Starting to implement source set
author Adam Chlipala <adamc@hcoop.net>
date Tue, 30 Dec 2008 09:43:41 -0500
parents 55fc747a67dc
children 4c2c740c6931
line wrap: on
line diff
--- a/lib/basis.urs	Sun Dec 21 12:56:39 2008 -0500
+++ b/lib/basis.urs	Tue Dec 30 09:43:41 2008 -0500
@@ -85,6 +85,7 @@
 
 con source :: Type -> Type
 val source : t ::: Type -> t -> transaction (source t)
+val set : t ::: Type -> source t -> t -> transaction unit
 
 con signal :: Type -> Type
 val signal_monad : monad signal