Macro prusti_contracts::prusti_assert_eq

macro_rules! prusti_assert_eq {
    ($left:expr, $right:expr $(,)?) => { ... };
}