Nuprl Definition : hdf-at-locs

hdf-at-locs(pr;i;locs) ==  if bag-deq-member(IdDeq;i;locs) then pr i else hdf-halt() fi 


Definitions occuring in Statement :  hdf-halt: hdf-halt(),  id-deq: IdDeq,  ifthenelse: if b then t else f fi ,  apply: f a,  bag-deq-member: bag-deq-member(eq;x;b)
FDL editor aliases :  hdf-at-locs
Latex:
hdf-at-locs(pr;i;locs)  ==    if  bag-deq-member(IdDeq;i;locs)  then  pr  i  else  hdf-halt()  fi 


Date html generated: 2016_05_16-AM-10_39_11
Last ObjectModification: 2012_11_23-PM-02_09_27

Theory : halting!dataflow


Home Index