1// TODO: diagnostic on unimplemented 2pub trait Value: std::fmt::Debug + Eq + Ord + std::hash::Hash {}