lean_sys::primitive

Function lean_name_hash_exported

Source 
pub unsafe extern "C" fn lean_name_hash_exported(
    n: lean_obj_arg,
) -> u64