vstd
In vstd::
pervasive
vstd
::
pervasive
Function
trigger
Copy item path
Source
pub
open spec
fn trigger<A>(a: A) ->
bool
Expand description
{
true
}