Nuprl Definition : ler_Nbr

ler_Nbr() ==
  let f = zb,za.
           let epoch,succ = za 
           in z.let epoch',succ' = z 
                 in if epoch' <z epoch then {<epoch, succ>} else {<epoch', succ'>} fi  in
      f@Loc|Loc, ler_Config(), Prior(self)?l.{<ler_dumEpoch(), l>}|


Definitions occuring in Statement :  ler_dumEpoch: ler_dumEpoch(),  ler_Config: ler_Config(),  concat-lifting-loc-2: f@Loc,  rec-combined-loc-class-opt-1: F|Loc, X, Prior(self)?init|,  lt_int: i <z j,  ifthenelse: if b then t else f fi ,  let: let,  lambda: x.A[x],  spread: spread def,  pair: <a, b>,  single-bag: {x}
FDL editor aliases :  ler_Nbr
ler\_Nbr()  ==
    let  f  =  \mlambda{}zb,za.
                      let  epoch,succ  =  za 
                      in  \mlambda{}z.let  epoch',succ'  =  z 
                                  in  if  epoch'  <z  epoch  then  \{<epoch,  succ>\}  else  \{<epoch',  succ'>\}  fi    in
            f@Loc|Loc,  ler\_Config(),  Prior(self)?\mlambda{}l.\{<ler\_dumEpoch(),  l>\}|


Date html generated: 2012_02_20-PM-06_00_32
Last ObjectModification: 2012_02_02-PM-02_37_36

Home Index