Function vstd::pervasive::trigger

pub open spec fn trigger<A>(a: A) -> bool

{ true }