Nuprl Definition : st-next
next(tab) == if ptr(tab) <z ||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 b then t else f fi ,
lt_int: i <z j,
it: ⋅,
pair: <a, b>,
inr: inr x ,
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