Skip to main content

lean_string_eq_cold

lean_rs_sys::string

Function 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