Ur/Web: demo/broadcast.urs annotate

Avoid setting a Date's time with a non-integer value

author	Adam Chlipala <adam@chlipala.net>
date	Sat, 03 Dec 2011 10:13:36 -0500
parents	4e260887d8f2
children

rev	line source
adamc@699	1 functor Make(M : sig type t end) : sig
adamc@699	2 type topic
adamc@699	3
adamc@699	4 val inj : sql_injectable topic
adamc@699	5
adamc@699	6 val create : transaction topic
adamc@699	7 val subscribe : topic -> transaction (channel M.t)
adamc@699	8 val send : topic -> M.t -> transaction unit
adamc@699	9
adamc@699	10 val subscribers : topic -> transaction int
adamc@699	11 end

Mercurial > urweb