Nuprl Definition : bm_compare_int
bm_compare_int() == λn1,n2. if n1 <z n2 then -1 if (n1 =z n2) then 0 else 1 fi
Definitions occuring in Statement :
ifthenelse: if b then t else f fi ,
lt_int: i <z j,
eq_int: (i =z j),
lambda: λx.A[x],
minus: -n,
natural_number: $n
FDL editor aliases :
bm_compare_int
Latex:
bm\_compare\_int() == \mlambda{}n1,n2. if n1 <z n2 then -1 if (n1 =\msubz{} n2) then 0 else 1 fi
Date html generated:
2016_05_17-PM-01_41_07
Last ObjectModification:
2012_12_23-PM-11_30_16
Theory : binary-map
Home
Index