src/include/serif/utils/user_options/mapping src/include/serif/utils/user_options/mapping/compactification domain_mapper.hpp