Function ext_equal_deep 

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