Skip to main content

forget

open_hypergraphs::lax::var::forget

Function forget 

Source 
pub fn forget<O: Clone + PartialEq + Debug, A: Clone + PartialEq + HasVar + Debug>(
    f: &OpenHypergraph<O, A>,
) -> OpenHypergraph<O, A>
Expand description

Replace operations labeled HasVar::var() with spiders, or the empty diagram.