Nuprl Definition : rsc2_onnewpropose

rsc2_onnewpropose(Cmd) ==
  zi.let n,c = zi 
      in z.let max,missing = z 
            in if max <z n then <n, missing @ [max + 1, n)> else <max, list-diff(IntDeq;missing;[n])> fi 


Definitions occuring in Statement :  append: as @ bs,  lt_int: i <z j,  ifthenelse: if b then t else f fi ,  lambda: x.A[x],  spread: spread def,  pair: <a, b>,  cons: [car / cdr],  nil: [],  add: n + m,  natural_number: $n,  list-diff: list-diff(eq;as;bs),  int-deq: IntDeq,  from-upto: [n, m)
FDL editor aliases :  rsc2_onnewpropose
rsc2\_onnewpropose(Cmd)  ==
    \mlambda{}zi.let  n,c  =  zi 
            in  \mlambda{}z.let  max,missing  =  z 
                        in  if  max  <z  n
                              then  <n,  missing  @  [max  +  1,  n)>
                              else  <max,  list-diff(IntDeq;missing;[n])>
                              fi 


Date html generated: 2012_02_20-PM-04_43_45
Last ObjectModification: 2012_02_02-PM-02_06_25

Home Index