---

next(tab) ==
  if ptr(tab) <z ||tab|| 
  then inl <ptr(tab), st-atom(tab;ptr(tab))> 
  else inr  
  fi 

---

Definitions :  ifthenelse: if b then t else f fi ,  lt_int: i <z j,  st-length: ||tab|| ,  inl: inl x ,  pair: <a, b>,  st-atom: st-atom(tab;n),  st-ptr: ptr(tab),  inr: inr x ,  it:
FDL editor aliases :  st-next

---

next(tab)  ==    if  ptr(tab)  <z  ||tab||    then  inl  <ptr(tab),  st-atom(tab;ptr(tab))>    else  inr  \mcdot{}    fi 


Date html generated: 2010_08_27-AM-09_33_56
Last ObjectModification: 2009_12_16-AM-01_14_25

Home Index