let nset_join s1 s2 = nset_fold nset_add s1 s2