vstd::prelude

Function ext_equal

pub fn ext_equal<A>(_: A, _: A) -> bool