Who Cites hnull?
hnull	Def null == l:'a List. null(l)
	Thm* 'a:S. null  (hlist('a)  hbool)
null	Def null(as) == Case of as; nil  true ; a.as'  false
	Thm* T:Type, as:T List. null(as)
	Thm* null(nil)
tlambda	Def (x:T. b(x))(x) == b(x)

Syntax:

null

has structure:

hnull('a)

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html