ForeignPointerType Pointer -- cast a Macaulay2 pointer to a foreign pointer

• Operator: SPACE

• Usage:

  T x

• Inputs:
  • T, a foreign pointer type,
  • x, a pointer,
• Outputs:
  • a foreign object,

i1 : ptr = address int 0

o1 = 0x7f3711bcea20

o1 : Pointer

i2 : voidstar ptr

o2 = 0x7f3711bcea20

o2 : ForeignObject of type void*