Ur/Web: demo/broadcast.urs annotate

Filters implementation type-checking

author	Adam Chlipala <adamc@hcoop.net>
date	Tue, 15 Sep 2009 15:48:53 -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