Function ext_equal 

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