Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
756:8ce31c052dce 757:fa2019a63ea4
7 type unit = {} 7 type unit = {}
8 8
9 datatype bool = False | True 9 datatype bool = False | True
10 10
11 datatype option t = None | Some of t 11 datatype option t = None | Some of t
12
13 datatype list t = Nil | Cons of t * list t
12 14
13 15
14 (** Basic type classes *) 16 (** Basic type classes *)
15 17
16 class eq 18 class eq