Nuprl Definition : comparison-sort

comparison-sort(cmp;L) ==  eager-accum(srtd,x.insert-no-combine(cmp;x;srtd);[];L)


Definitions occuring in Statement :  insert-no-combine: insert-no-combine(cmp;x;l),  eager-accum: eager-accum(x,a.f[x; a];y;l),  nil: []
Definitions occuring in definition :  eager-accum: eager-accum(x,a.f[x; a];y;l),  insert-no-combine: insert-no-combine(cmp;x;l),  nil: []
FDL editor aliases :  comparison-sort
Latex:
comparison-sort(cmp;L)  ==    eager-accum(srtd,x.insert-no-combine(cmp;x;srtd);[];L)


Date html generated: 2016_05_14-PM-02_43_47
Last ObjectModification: 2015_09_22-PM-05_57_33

Theory : list_1


Home Index