Who Cites decl type?
decl_type	Def decl_type(d;x) == d(x)
	Thm* dec:Decl, x:Label. decl_type(dec;x) Type

Syntax:

decl_type(d;x)

has structure:

decl_type(d; x)

About: