Nuprl Definition : RSC_onnewpropose

RSC_onnewpropose() ==
  zo.let n,zp = zo 
      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 :  RSC_onnewpropose
RSC\_onnewpropose()  ==
    \mlambda{}zo.let  n,zp  =  zo 
            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_00_02
Last ObjectModification: 2012_02_02-PM-01_58_44

Home Index