---

base-program(locs;hdr;T) ==
  <T
  , mk_fpf(locs;x.<T
                   , Unit
                   , 
                   , s,m.
                      let h,ty,v = m in 
                      <inl  
                      , if name_eq(hdr;h)  ty == T then {v} else {} fi 
                      >>)
  >

---

Definitions occuring in Statement :  mk_fpf: mk_fpf(L;f),  name_eq: name_eq(x;y),  band: p  q,  ifthenelse: if b then t else f fi ,  it: ,  spreadn: spread3,  unit: Unit,  lambda: x.A[x],  pair: <a, b>,  inl: inl x ,  single-bag: {x},  empty-bag: {},  eq_term: a == b
Definitions :  mk_fpf: mk_fpf(L;f),  unit: Unit,  lambda: x.A[x],  spreadn: spread3,  pair: <a, b>,  inl: inl x ,  it: ,  ifthenelse: if b then t else f fi ,  band: p  q,  name_eq: name_eq(x;y),  eq_term: a == b,  single-bag: {x},  empty-bag: {}
FDL editor aliases :  base-program

---

base-program(locs;hdr;T)  ==
    <T
    ,  mk\_fpf(locs;\mlambda{}x.<T
                                      ,  Unit
                                      ,  \mcdot{}
                                      ,  \mlambda{}s,m.
                                            let  h,ty,v  =  m  in 
                                            <inl  \mcdot{}  ,  if  name\_eq(hdr;h)  \mwedge{}\msubb{}  ty  ==  T  then  \{v\}  else  \{\}  fi  >>)
    >


Date html generated: 2011_08_16-PM-06_28_40
Last ObjectModification: 2011_03_22-AM-11_05_46

Home Index