graph_base/interfaces/
typed.rs

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