ptr_get()
function ptr_get(pointer $pointer): int
Reads one machine word through a raw pointer and returns it as an integer.
Parameters:
$pointer(pointer)
Returns: int
No examples yet — check examples/ and showcases/ for usage patterns.
Internals
For how ptr_get is implemented in the compiler, see the internals page.