Type Alias lean_obj_res

Source
pub type lean_obj_res = *mut lean_object;
Expand description

Standard object result