dafny_runtime

Function nullable_referential_equality

Source
pub fn nullable_referential_equality<T: ?Sized>(
    left: Option<Rc<T>>,
    right: Option<Rc<T>>,
) -> bool