comparison demo/broadcast.ur @ 708:1a317a707d71

Add primary keys to demo
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Apr 2009 16:22:11 -0400
parents 4e260887d8f2
children 0406e9cccb72
comparison
equal deleted inserted replaced
707:d8217b4cb617 708:1a317a707d71
1 functor Make(M : sig type t end) = struct 1 functor Make(M : sig type t end) = struct
2 sequence s 2 sequence s
3 table t : {Id : int, Client : client, Channel : channel M.t} 3 table t : {Id : int, Client : client, Channel : channel M.t}
4 PRIMARY KEY Id
4 5
5 type topic = int 6 type topic = int
6 7
7 val inj : sql_injectable topic = _ 8 val inj : sql_injectable topic = _
8 9