Requested feature: Provide documentation of the Arbitrary trait (https://model-checking.github.io/kani/crates/doc/kani/trait.Arbitrary.html)
Use case: Users trying to understand how to use and implement the Arbitrary trait.
Link to relevant documentation (Rust reference, Nomicon, RFC):
Requested feature: Provide documentation of the Arbitrary trait (https://model-checking.github.io/kani/crates/doc/kani/trait.Arbitrary.html)
Use case: Users trying to understand how to use and implement the
Arbitrarytrait.Link to relevant documentation (Rust reference, Nomicon, RFC):