let
add_glob_decls obligs =
W
.add_glob_decls obligs