AcceptOrReject ==
(let lbv,m = lbvm in
let l,b,v = lbv in
<lbv, m 
z b> where lbvm from (MaxReserve'?-1) when 2a)
Definitions :
natural_number: $n,
minus: -n,
abbr26: MaxReserve,
es-prior-class-when: (X'?d) when Y,
le_int: i z j,
pair: <a, b>,
spreadn: spread3,
spread: spread def,
map-class: (f[v] where v from X)
FDL editor aliases :
abbr27
AcceptOrReject ==
(let lbv,m = lbvm in
let l,b,v = lbv in
<lbv, m \mleq{}z b> where lbvm from (MaxReserve'?-1) when 2a)
Date html generated:
2010_08_28-PM-01_41_35
Last ObjectModification:
2010_08_05-PM-12_38_35
Home
Index