Nuprl Definition : imax
imax(a;b) == eval a = a in eval b = b in if a ≤z b then b else a fi
Definitions occuring in Statement :
le_int: i ≤z j,
callbyvalue: callbyvalue,
ifthenelse: if b then t else f fi
Definitions occuring in definition :
callbyvalue: callbyvalue,
ifthenelse: if b then t else f fi ,
le_int: i ≤z j
FDL editor aliases :
imax
Latex:
imax(a;b) == eval a = a in eval b = b in if a \mleq{}z b then b else a fi
Date html generated:
2016_05_13-PM-04_01_41
Last ObjectModification:
2015_12_22-PM-02_41_09
Theory : bool_1
Home
Index