let
nset_to_list = nset_fold (
fun
t h
->
h::t) []