Type Alias Formula 

pub type Formula<VStore> = Box<dyn PropagatorConcept<VStore, FDEvent>>;

Aliased Type

pub struct Formula<VStore>(/* private fields */);