let
nset_size set = nset_fold (
fun
n _
->
n+1) 0 set