Ur/Web: demo/broadcast.urs annotate

Allow mouse and key events for <body>

author	Adam Chlipala <adam@chlipala.net>
date	Thu, 02 Jul 2015 12:42:49 -0400
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