WhoCites
Definitions
list
1
Sections
StandardLIB
Search
Doc
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites null?
null
Def null(
as
) == Case of
as
; nil
true
;
a
.
as'
false
Thm*
T
:Type,
as
:
T
List. null(
as
)
Thm*
null(nil)
About:
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
WhoCites
Definitions
list
1
Sections
StandardLIB
Search
Doc
true
; a.as' false
T:Type, as:T List. null(as) 
true ; a.as' falseT:Type, as:T List. null(as) 
