Function mononym::proof::equal::check_equal

pub fn check_equal<T: Eq, FirstVal: HasType<T>, SecondVal: HasType<T>>(
    first: &Named<FirstVal, T>, 
    second: &Named<SecondVal, T>
) -> Option<IsEqual<T, FirstVal, SecondVal>>