Nuprl Definition : hdf-at-locs

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



Definitions occuring in Statement :  hdf-halt: hdf-halt() id-deq: IdDeq ifthenelse: if then else fi  apply: 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