coinduction 0.2.0

Attribute macros for defining circular type references and recursive trait implementations in Rust
Documentation