vstd::pervasive

Function arbitrary

Source
pub uninterp fn arbitrary<A>() -> A
Expand description

In spec, all types are inhabited