macro_rules! trivial_judgemental_equality {
($l:ty, $r:ty) => { ... };
($l:ty, $r:ty, comm) => { ... };
($p:ty) => { ... };
}Expand description
Set judgemental equality between two types to be the same as PartialEq
macro_rules! trivial_judgemental_equality {
($l:ty, $r:ty) => { ... };
($l:ty, $r:ty, comm) => { ... };
($p:ty) => { ... };
}Set judgemental equality between two types to be the same as PartialEq