lean_obj_res

Type Alias lean_obj_res 

Source
pub type lean_obj_res = *mut lean_object;
Expand description

Standard object result