Ur/Web: demo/refFun.urs annotate

Introduce URWEB_STACK_SIZE environment variable (based on a patch by Hao Deng)

author	Adam Chlipala <adam@chlipala.net>
date	Tue, 02 Aug 2011 14:31:37 -0400
parents	cb5897276abf
children

rev	line source
adamc@419	1 functor Make(M : sig
adamc@419	2 type data
adamc@419	3 val inj : sql_injectable data
adamc@419	4 end) : sig
adamc@419	5 type ref
adamc@419	6 val new : M.data -> transaction ref
adamc@419	7 val read : ref -> transaction M.data
adamc@419	8 val write : ref -> M.data -> transaction unit
adamc@419	9 val delete : ref -> transaction unit
adamc@419	10 end

Mercurial > urweb