Constant move_model::pragmas::CONDITION_INJECTED_PROP

pub const CONDITION_INJECTED_PROP: &str = "$injected";

Internal property attached to conditions if they are injected via an apply or a module invariant.