Nuprl Definition : update-alist

update-alist(eq;L;x;z;v.f[v]) ==  rec-case(L) of [] => [<x, z>p::ps => r.let a,v in if eq then [<x, f[v]> \000Cps] else [p r] fi 

Definitions occuring in Statement :  list_ind: list_ind cons: [a b] nil: [] ifthenelse: if then else fi  apply: a spread: spread def pair: <a, b>
Definitions occuring in definition :  list_ind: list_ind nil: [] spread: spread def ifthenelse: if then else fi  apply: a pair: <a, b> cons: [a b]
FDL editor aliases :  update-alist

update-alist(eq;L;x;z;v.f[v])  ==
    rec-case(L)  of
    []  =>  [<x,  z>]
    p::ps  =>
      r.let  a,v  =  p 
          in  if  eq  a  x  then  [<x,  f[v]>  /  ps]  else  [p  /  r]  fi 

Date html generated: 2016_05_14-AM-06_29_00
Last ObjectModification: 2015_12_03-PM-02_07_41

Theory : list_0

Home Index