Function lean_sys::string::lean_string_append

source · [−]
pub unsafe extern "C" fn lean_string_append(
    s1: lean_obj_arg,
    s2: lean_obj_arg
) -> lean_obj_res