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