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