Nuprl Definition : bag-to-list

bag-to-list(cmp;b) ==  comparison-sort(cmp;b)


Definitions occuring in Statement :  comparison-sort: comparison-sort(cmp;L)
Definitions occuring in definition :  comparison-sort: comparison-sort(cmp;L)
FDL editor aliases :  bag-to-list
Latex:
bag-to-list(cmp;b)  ==    comparison-sort(cmp;b)


Date html generated: 2016_05_15-PM-02_46_13
Last ObjectModification: 2015_09_23-AM-07_40_19

Theory : bags


Home Index