Function vstd::pervasive::triggerCopy item path

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

{ true }