Struct ObjRef 

pub struct ObjRef<'lean, 'a> { /* private fields */ }

Borrowed view of an Obj.

ObjRef<'lean, 'a> carries no refcount obligation: construction and destruction are no-ops. The double phantom records both the runtime borrow ('lean) and the borrow of the owning Obj<'lean> ('a); the latter prevents a view from outliving its source.

Implementations

impl ObjRef<'_, '_>

pub fn as_raw_borrowed(&self) -> *mut lean_object

Borrow the underlying raw pointer for a borrowed-argument FFI call (b_lean_obj_arg).

Trait Implementations

impl Debug for ObjRef<'_, '_>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.