vstd::pervasive

Function trigger

Source 
pub open spec fn trigger<A>(a: A) -> bool
Expand description
{ true }