Nuprl Definition : st-next

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



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

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



Date html generated: 2016_05_16-AM-10_00_03
Last ObjectModification: 2013_03_25-PM-01_53_03

Theory : new!event-ordering


Home Index