Mercurial > urweb

diff lib/ur/basis.urs @ 757:fa2019a63ea4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.list
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Apr 2009 11:07:29 -0400
parents 8ce31c052dce
children 8323c1beef2e
line wrap: on
line diff
--- a/lib/ur/basis.urs	Tue Apr 28 17:26:53 2009 -0400
+++ b/lib/ur/basis.urs	Thu Apr 30 11:07:29 2009 -0400
@@ -10,6 +10,8 @@
 
 datatype option t = None | Some of t
 
+datatype list t = Nil | Cons of t * list t
+
 
 (** Basic type classes *)