Skip to main content
STAGE
logicaffeine_
kernel
0.11.0
In logicaffeine_
kernel::
interface::
lean::
taint
logicaffeine_kernel
::
interface
::
lean
::
taint
Constant
STAGE
Copy item path
Source
pub const STAGE: &
str
= "assumption_policy";
Expand description
The receipt stage whose refusal a taint path explains.