Type Definition lean_sys::u_lean_obj_arg
source · [−]pub type u_lean_obj_arg = *mut lean_object;
Expand description
Unique (aka non shared) object argument
pub type u_lean_obj_arg = *mut lean_object;
Unique (aka non shared) object argument