See function documentation for REQUIRE.
(asdf/operate:module-provide-asdf sb-impl::module-provide-contrib)