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
...
Definitions :
list_ind: rec-case(a) of [] => s | x::y => z.t[x; y; z],
nil: [],
lambda: x.A[x],
pi1: fst(t),
pi2: snd(t),
let: let,
get-triples: get-triples(preList;st),
ifthenelse: if b then t else f fi ,
null: null(as),
apply: f a,
fpf-join: f 
g,
id-deq: IdDeq,
fpf-single: x : v,
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:
2010_08_27-PM-09_38_14
Last ObjectModification:
2010_03_30-PM-03_39_22
Home
Index