Nuprl Definition : imin
imin(a;b) == eval a = a in eval b = b in if a ≤z b then a else b 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 :
imin
Latex:
imin(a;b) == eval a = a in eval b = b in if a \mleq{}z b then a else b fi
Date html generated:
2016_05_14-AM-07_21_23
Last ObjectModification:
2015_09_22-PM-05_46_16
Theory : int_2
Home
Index