Nuprl Definition : comparison-max
comparison-max(cmp;L) == eager-accum(mx,x.if 0 ≤z cmp x mx then mx else x fi ;hd(L);tl(L))
Definitions occuring in Statement :
eager-accum: eager-accum(x,a.f[x; a];y;l),
hd: hd(l),
tl: tl(l),
le_int: i ≤z j,
ifthenelse: if b then t else f fi ,
apply: f a,
natural_number: $n
Definitions occuring in definition :
tl: tl(l),
hd: hd(l),
apply: f a,
natural_number: $n,
le_int: i ≤z j,
ifthenelse: if b then t else f fi ,
eager-accum: eager-accum(x,a.f[x; a];y;l)
FDL editor aliases :
comparison-max
Latex:
comparison-max(cmp;L) == eager-accum(mx,x.if 0 \mleq{}z cmp x mx then mx else x fi ;hd(L);tl(L))
Date html generated:
2017_04_17-AM-08_31_26
Last ObjectModification:
2017_03_30-PM-03_08_14
Theory : list_1
Home
Index