Hi,
Recently I need to sort a series of data, but these data from a set.So I don't
know how to implement it.I find all of methods about sorting whose datatype is
list,but my datatype is set,the datatype as fellow:
Datatype `ch = <|j: num; length: (real list -> real)|>`;
val _= type_abbrev("pop",``: ch set``);
Where j means identifier,length means a function from real list to real,and
pop is a set of ch.Now I want to sort the chs in pop according to length.I
don't know how to do it, could anyone help me? Or whether I use pop as a list
only?
Thanks!------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
