One doc tagged with "AntelopeIO/cdt/tree/v3.0.1/docs/09_tutorials/01_binary-extension.md"

You can find the implementation of eosio::binaryextension within the CDT repository in the file binaryextension.hpp.