ptr-0.16.8.5: Experimental abstractions for operations on pointers

ptr-0.16.8.5: Experimental abstractions for operations on pointers

Collection of experimental abstractions over pointer operations.

Modules