1 2pub trait Type { 3 fn type_id(&self) -> usize; 4 // fn type_name(&self) -> String; 5} 6 7pub trait Typed { 8 fn type_same(&self, x: & impl Type, y: & impl Type) -> bool; 9}