ftml_viewer_components::components::proofs

Function subproof

Source 
pub fn subproof<V: IntoView + 'static>(
    uri: DocumentElementURI,
    initial: bool,
    children: impl FnOnce() -> V + Send + 'static,
) -> impl IntoView