Macros

Convenience macro that defines a guarded type that promises to be always valid. It may be used in different ways, see examples section for details.