Function boogie_backend::bytecode_translator::has_native_equality

pub fn has_native_equality(
    env: &GlobalEnv,
    options: &BoogieOptions,
    ty: &Type
) -> bool