Nuprl Definition : is-atomic
is-atomic(x) == if x is a pair then ff otherwise if x is inl then ff else if x is inr then ff else tt
Definitions occuring in Statement :
bfalse: ff,
btrue: tt,
ispair: if z is a pair then a otherwise b,
isinr: isinr def,
isinl: isinl def
Definitions occuring in definition :
ispair: if z is a pair then a otherwise b,
isinl: isinl def,
isinr: isinr def,
bfalse: ff,
btrue: tt
FDL editor aliases :
is-atomic
Latex:
is-atomic(x) ==
if x is a pair then ff otherwise if x is inl then ff
else if x is inr then ff
else tt
Date html generated:
2016_05_13-PM-03_22_59
Last ObjectModification:
2015_09_22-PM-05_44_35
Theory : call!by!value_1
Home
Index