Nuprl Definition : Comm-process-q_aux

Comm-process-q_aux(q) ==
  rec-case(q) of
  [] => λid,st. <[], st, id, []>
  hd::tl =>
   aux.λid,st. let loc = fst(hd) in
                let preList = snd(hd) in
                let mList = get-triples(preList;st) in
                if null(mList) then aux id loc : preList ⊕ st else <tl, st, loc, mList> fi 


Definitions occuring in Statement :  get-triples: get-triples(preList;st),  fpf-single: x : v,  fpf-join: f ⊕ g,  id-deq: IdDeq,  null: null(as),  list_ind: list_ind,  nil: [],  ifthenelse: if b then t else f fi ,  let: let,  pi1: fst(t),  pi2: snd(t),  apply: f a,  lambda: λx.A[x],  pair: <a, b>
FDL editor aliases :  Comm-process-q_aux
Latex:
Comm-process-q\_aux(q)  ==
    rec-case(q)  of
    []  =>  \mlambda{}id,st.  <[],  st,  id,  []>
    hd::tl  =>
      aux.\mlambda{}id,st.  let  loc  =  fst(hd)  in
                                let  preList  =  snd(hd)  in
                                let  mList  =  get-triples(preList;st)  in
                                if  null(mList)  then  aux  id  loc  :  preList  \moplus{}  st  else  <tl,  st,  loc,  mList>  fi 


Date html generated: 2015_07_23-AM-11_58_44
Last ObjectModification: 2012_08_30-PM-01_49_23

Home Index