---

loc-Server(f;L0;n0) ==
  RecProcess(<L0, n0>;s,i.if pDVloc?(i)
  then let sndr = pDVloc-id(i) in
           let L,n = s in
             <<[f L / L], n + 1>
            , make-lg([<sndr
                       , mk-tagged("msg";pDVloc_tag(f L;nat-to-incomparable(n
                         + 1)))
                       >])
            >
  else <s, make-lg([])>
  fi )

---

Definitions :  rec-process: RecProcess(s0;s,m.next[s; m]),  ifthenelse: if b then t else f fi ,  pDVloc?: pDVloc?(x),  let: let,  pDVloc-id: pDVloc-id(x),  spread: spread def,  cons: [car / cdr],  mk-tagged: mk-tagged(tg;x),  token: "$token",  pDVloc_tag: pDVloc_tag(id;name),  apply: f a,  nat-to-incomparable: nat-to-incomparable(n),  add: n + m,  natural_number: $n,  pair: <a, b>,  make-lg: make-lg(L),  nil: []
FDL editor aliases :  loc-Server

---

loc-Server(f;L0;n0)  ==
    RecProcess(<L0,  n0>s,i.if  pDVloc?(i)
    then  let  sndr  =  pDVloc-id(i)  in
                      let  L,n  =  s  in
                          <<[f  L  /  L],  n  +  1>
                        ,  make-lg([<sndr,  mk-tagged("msg";pDVloc\_tag(f  L;nat-to-incomparable(n  +  1)))>])
                        >
    else  <s,  make-lg([])>
    fi  )


Date html generated: 2010_08_27-PM-08_45_09
Last ObjectModification: 2010_04_27-PM-03_16_46

Home Index