lean_ptr_addr

Function lean_ptr_addr 

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

pointer address unsafe primitive