path: root/vendor/bundle/ruby/3.4.0/gems/rouge-4.5.2/lib/rouge/demos/lustre

node count(init: int; reset, event: bool) returns (c: int);
let
	c = init -> if reset then init
					else if event then pre(c)+1
					else pre(c);
tel;