/**
 * @fileoverview Infra port — capabilities for infrastructure services.
 * Route modules that interact with mux, push, teams, tunnel, etc. depend on this port.
 */
export {};
//# sourceMappingURL=infra-port.js.map