Pointer utilities are defined in the microlibrary
static library’s
microlibrary/pointer.h
/microlibrary/pointer.cc
header/source file pair.
Not_Null
To verify a pointer is not null and propagate the pointer without needing further not null
checks, use the ::microlibrary::Not_Null
utility.
*
and ->
) are supported.::microlibrary::Not_Null::get()
member functions.