Function lean_sys::string::lean_string_lt

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