Function lean_sys::primitive::lean_ptr_addr

source · 
pub fn lean_ptr_addr(a: b_lean_obj_arg) -> usize
Expand description

pointer address unsafe primitive