Module kani::arbitrary

This module introduces the Arbitrary trait as well as implementation for primitive types and other std containers.

Traits

• Arbitrary
  This trait should be used to generate symbolic variables that represent any valid value of its type.