## Dereferenceable

### Introduction

Instances of a `Dereferenceable` type can be used like a pointer to access an lvalue.

### Concept Requirements

In the table below, `T` is a model of Dereferenceable, and `x` denotes an object of type `T`. In addition, all pointers are `Dereferenceable`.

Expression | Result | Operational Semantics
--- | --- | ---
`get_pointer(x)` | convertible to `pointee<T>::type*` | `&*x`, or a null pointer