//! Lightweight import-parity module for Lean's `CommerceTheory.Basic`.
//!
//! Domain declarations live in the focused Rust modules re-exported from
//! `lib.rs`; this module exists so the Rust crate has the same top-level shape
//! as the updated Lean package.
pub const BASIC_MODULE_LOADED: bool = true;