let
nmap_to_list = nmap_fold (
fun
t n v
->
(n, v)::t) []