Skip to main content

END

Constant END 

Source
pub const END: &str = "<!-- lean-ctx:knowledge:end -->";
Expand description

Closing marker of the generated section.