Skip to main content

edit_section

lean_ctx_doc::write

Function edit_section 

Source 
pub fn edit_section(section: &SectionView, body: &str) -> EventSpec
Expand description

Replaces the body of section.