coinduction 0.1.0

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