Attribute Macrosยง
- coinduction
- Attribute macro for enabling coinductive reasoning on specific items.
- traitdef
- Attribute macro for marking trait definitions that will support coinduction.
- typedef
- Attribute macro for marking type definitions involved in circular references.