MaxAccept ==
accum-class(bv1,bv2.if fst(bv1) <z fst(bv2) then bv2 else bv1 fi ;
bv.bv;
Accept)
Definitions :
abbr29: Accept,
pi1: fst(t),
lt_int: i <z j,
ifthenelse: if b then t else f fi ,
accum-class: accum-class(a,x.f[a; x]; x.base[x]; X)
FDL editor aliases :
abbr30
MaxAccept == accum-class(bv1,bv2.if fst(bv1) <z fst(bv2) then bv2 else bv1 fi ; bv.bv; Accept)
Date html generated:
2010_08_28-PM-01_41_38
Last ObjectModification:
2010_08_05-PM-01_20_13
Home
Index