Nuprl Definition : int?
int?(x) == eval v = x in if v is an integer then inl v else inr v
Definitions occuring in Statement :
callbyvalue: callbyvalue,
isint: isint def,
inr: inr x ,
inl: inl x
Definitions occuring in definition :
callbyvalue: callbyvalue,
isint: isint def,
inl: inl x,
inr: inr x
FDL editor aliases :
int?
Latex:
int?(x) == eval v = x in if v is an integer then inl v else inr v
Date html generated:
2019_06_20-AM-11_33_10
Last ObjectModification:
2019_02_07-PM-00_03_23
Theory : int_1
Home
Index