// Trading Page Public API
export { TradingPage } from "ui/trading-page.slint";