Skip to main content

add_note

lean_ctx_doc::write

Function add_note 

Source 
pub fn add_note(
    about: &str,
    body: &str,
    covers: &[(String, Option<String>)],
    new_id: NewId<'_>,
) -> Vec<EventSpec>
Expand description

A note about about (a page or section id); covers are (ref, digest) pairs the note accounts for.