Skip to main content

lean_mk_ascii_string_unchecked

lean_rs_sys::string

Function lean_mk_ascii_string_unchecked 

Source 
pub unsafe extern "C" fn lean_mk_ascii_string_unchecked(
    s: *const c_char,
) -> lean_obj_res