Nuprl Definition : is_int
is_int(x) == eval v = x in isint(v)
Definitions occuring in Statement :
callbyvalue: callbyvalue,
bfalse: ff,
btrue: tt,
isint: isint def
Definitions occuring in definition :
callbyvalue: callbyvalue,
isint: isint def,
btrue: tt,
bfalse: ff
FDL editor aliases :
is_int
Latex:
is\_int(x) == eval v = x in isint(v)
Date html generated:
2019_06_20-AM-11_33_08
Last ObjectModification:
2019_02_07-AM-11_46_10
Theory : int_1
Home
Index