Mercurial > urweb
comparison demo/tree.ur @ 708:1a317a707d71
Add primary keys to demo
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 07 Apr 2009 16:22:11 -0400 |
parents | 20fab0e96217 |
children | 1db127b245ed |
comparison
equal
deleted
inserted
replaced
707:d8217b4cb617 | 708:1a317a707d71 |
---|---|
1 sequence s | 1 sequence s |
2 table t : { Id : int, Parent : option int, Nam : string } | 2 table t : { Id : int, Parent : option int, Nam : string } |
3 PRIMARY KEY Id | |
3 | 4 |
4 open TreeFun.Make(struct | 5 open TreeFun.Make(struct |
5 val tab = t | 6 val tab = t |
6 end) | 7 end) |
7 | 8 |