Nuprl Definition : ler2_new_conf

ler2_new_conf() ==
  loc,za.
   let epoch,succ = za 
   in z.let epoch',succ' = z 
         in if epoch' <z epoch then <epoch, succ> else <epoch', succ'> fi 


Definitions occuring in Statement :  lt_int: i <z j,  ifthenelse: if b then t else f fi ,  lambda: x.A[x],  spread: spread def,  pair: <a, b>
FDL editor aliases :  ler2_new_conf
ler2\_new\_conf()  ==
    \mlambda{}loc,za.
      let  epoch,succ  =  za 
      in  \mlambda{}z.let  epoch',succ'  =  z 
                  in  if  epoch'  <z  epoch  then  <epoch,  succ>  else  <epoch',  succ'>  fi 


Date html generated: 2012_02_20-PM-06_12_54
Last ObjectModification: 2012_02_02-PM-02_41_56

Home Index