---

cp-state-type(cp;i) ==
  if i  dom(cp) then let A,ks,typ,h,acc,init = cp(i) in A else Void fi 

---

Definitions :  ifthenelse: if b then t else f fi ,  fpf-dom: x  dom(f),  spreadn: spread6,  fpf-ap: f(x),  id-deq: IdDeq,  void: Void
FDL editor aliases :  cp-state-type

---

cp-state-type(cp;i)  ==    if  i  \mmember{}  dom(cp)  then  let  A,ks,typ,h,acc,init  =  cp(i)  in  A  else  Void  fi 


Date html generated: 2010_08_27-AM-09_35_56
Last ObjectModification: 2009_12_16-AM-01_27_19

Home Index