Nuprl Definition : count-repeats

count-repeats(L,eq) ==
  accumulate (with value cvs and list item v):
   update-alist(eq;cvs;v;1;n.n 1)
  over list:
  with starting value:

Definitions occuring in Statement :  update-alist: update-alist(eq;L;x;z;v.f[v]) list_accum: list_accum nil: [] add: m natural_number: $n
Definitions occuring in definition :  list_accum: list_accum update-alist: update-alist(eq;L;x;z;v.f[v]) add: m natural_number: $n nil: []
FDL editor aliases :  ctrep

count-repeats(L,eq)  ==
    accumulate  (with  value  cvs  and  list  item  v):
      update-alist(eq;cvs;v;1;n.n  +  1)
    over  list:
    with  starting  value:

Date html generated: 2016_05_14-PM-03_22_53
Last ObjectModification: 2015_09_22-PM-05_59_30

Theory : decidable!equality

Home Index