Trait DirectedBijectiveConnecionGraph
gt_directed_bijective_connection_graph::graph
pub trait DirectedBijectiveConnecionGraph: Graph + Lemma1 + Lemma2 + NodeToNode + NodeToSet { fn psi(&self, n: Dims, node: Node) -> Node { ... } }
fn psi(&self, n: Dims, node: Node) -> Node