define!() { /* proc-macro */ }
Convenience macro that defines a guarded type that promises to be always valid. It may be used in different ways, see the examples for details.