import OrdinaryHasProperty = require("../2023/OrdinaryHasProperty");
export = OrdinaryHasProperty;