Function vstd::pervasive::arbitrary

source · 
pub closed spec fn arbitrary<A>() -> A
Expand description

In spec, all types are inhabited