#[traitdef]Expand description
Attribute macro for marking trait definitions that will support coinduction.
This is currently an empty attribute macro that serves as a placeholder for future implementation of coinductive trait definition functionality.