How does __using__ actually work?

use calls the macro __using__ on compile time of the mentioned module, this way code gets injected into the calling module.

Simplified use B gets replaced by whatever is in the returned quote block if Bs __using__.

This behaviour should be documented in the Kernel module under the use` macro (or is it a special form?). Can’t search it for you as I’m on mobile data plan only…