Description

A Pointer is an equivalence class of pointer-like values.

A Pointer doesn't have a unique type because pointers of distinct types may alias the same object.