vstd::pervasive

Function arbitrary

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

In spec, all types are inhabited