/// Check for equality with the input, and annotate the `Bottom` with the
/// expected and received values if it does not match.
Check for equality with the input, and annotate the `Bottom` with the
expected and received values if it does not match.
Check for equality with the input and annotate the ` Bottom ` with the expected and received values if it does not match .
pub fn eq_show<'fml, A: 'fml + Send + Sync + PartialEq + std::fmt::Debug>(
    x: A,
) -> Formula<'fml, A> {
    examine(move |y: &A| {
        if x == *y {
            top()
        } else {
            bottom(&format!("Expected {:?}, saw {:?}", x, y))
        }
    })
}
pub fn eq_show < ' fml , A : ' fml + Send + Sync + PartialEq + std :: fmt :: Debug > ( x : A , ) -> Formula < ' fml , A > { examine ( move | y : & A | { if x == * y { top ( ) } else { bottom ( & format ! ( " " x y ) ) } } ) }
Check for equality with the input, and annotate the `Bottom` with the
expected and received values if it does not match.
Check for equality with the input and annotate the ` Bottom ` with the expected and received values if it does not match .
x
A