---

add-graph-decls(dd;G;T;a;b) ==
  let S,ds,da = dd in 
  <S, ds, i.graph-rcvs(S;G;a;b;i) |-fpf-> T  da i>

---

Definitions :  spreadn: spread3,  pair: <a, b>,  lambda: x.A[x],  fpf-join: f  g,  Kind-deq: KindDeq,  fpf-const: L |-fpf-> v,  graph-rcvs: graph-rcvs(S;G;a;b;j),  apply: f a
FDL editor aliases :  add-graph-decls

---

add-graph-decls(dd;G;T;a;b)  ==
    let  S,ds,da  =  dd  in 
    <S,  ds,  \mlambda{}i.graph-rcvs(S;G;a;b;i)  |-fpf->  T  \moplus{}  da  i>


Date html generated: 2010_08_27-AM-09_36_22
Last ObjectModification: 2009_12_16-AM-08_23_00

Home Index