Who Cites dall?
dall	Def D(i) for i I(x) == i:I. D(i)(x)
	Thm* I:Type, D:(IDecl). D(i) for i I Decl

Syntax:

D(i) for i I

has structure:

dall(I; i.D(i))

About: