Constant move_model::pragmas::CONDITION_INJECTED_PROP
source · pub const CONDITION_INJECTED_PROP: &str = "$injected";
Expand description
Internal property attached to conditions if they are injected via an apply or a module invariant.