Type Alias lean_sys::u_lean_obj_arg

source · 
pub type u_lean_obj_arg = *mut lean_object;
Expand description

Unique (aka non shared) object argument