Function departed::logic::equals

pub fn equals<T: Eq, A, B>(
    a: Named<T, A>, 
    b: Named<T, B>
) -> Option<Proof<Equals<A, B>>>