Nuprl Definition : p_first_nil_compseq_tag_def
11,40
postcript
pdf
p_first_nil{
p
first
nil
compseq
tag
def
:ObjectId}(
x
) == compseq(can-apply(p-first([]);
x
); ff)
latex
Definitions
can-apply(
f
;
x
)
,
p-first(
L
)
,
[]
,
ff
origin