Next: Foreign Memory Allocation, Previous: Operations on Foreign Types, Up: Top [Contents][Index]
Return true if ptr is a foreign pointer.
Return a null foreign pointer.
Return true if ptr is a null foreign pointer.
Return a pointer corresponding to the numeric integer address.
Return the result of numerically incrementing ptr by offset.