Trait Trigger
polyhorn_core
pub trait Trigger: 'static { fn trigger(&self); }
fn trigger(&self)
impl<P: ?Sized> Trigger for Link<P> where P: Platform,