pub fn forget<O: Clone + PartialEq + Debug, A: Clone + PartialEq + HasVar + Debug>( f: &OpenHypergraph<O, A>, ) -> OpenHypergraph<O, A>
Replace operations labeled HasVar::var() with spiders, or the empty diagram.
HasVar::var()