int.to_pointer Reference Manual
int.to_pointer:
Description:
public
void
* to_pointer ()
created by
valadoc