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: v fpf-join: f ⊕ g id-deq: IdDeq null: null(as) list_ind: list_ind nil: [] ifthenelse: if then else fi  let: let pi1: fst(t) pi2: snd(t) apply: a lambda: λx.A[x] pair: <a, b>
FDL editor aliases :  Comm-process-q_aux

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