1 2 3 4 5 6 7 8 9 10 11
use super::hypergraph::Hypergraph; pub trait Type { fn type_id(&self) -> usize; // fn type_name(&self) -> String; } pub trait Typed<'a>: Hypergraph<'a> { fn type_same(&self, x: &Self::Node, y: &Self::Node) -> bool; }