Skip to main content

FENCE_REFUSAL

Constant FENCE_REFUSAL 

Source
pub const FENCE_REFUSAL: &str = "[lean-ctx: content withheld — no secure fence key available]";
Expand description

What fence_content returns instead of a fenced block when it has no secure key: one constant, with no part of the label or the content.