Who Cites r select?
r_select	Def r.l == r(l)
	Thm* d:Decl, r:{d}, l:Label. r.l d(l)

Syntax:

r.l

has structure:

r_select(r; l)

About: