Function lean_sys::string::lean_string_eq_cold

source · [−]
pub unsafe extern "C" fn lean_string_eq_cold(
    s1: b_lean_obj_arg,
    s2: b_lean_obj_arg
) -> bool