Function boogie_backend::bytecode_translator::has_native_equality
source · pub fn has_native_equality(
env: &GlobalEnv,
options: &BoogieOptions,
ty: &Type
) -> bool
pub fn has_native_equality(
env: &GlobalEnv,
options: &BoogieOptions,
ty: &Type
) -> bool