let
remove n s =
if
Name
.eq n empty_name
then
s
else
Name
.
Map
.remove n s