Agda.Utils.Pointer

type Ptr a

deref

store

alloc

updatePtr