Unused
Safety annotations
A convenient type synonym