Type Alias FormulaBox 

pub type FormulaBox = Box<Formula>;

An indirection to a Formula via Box.

Aliased Type

pub struct FormulaBox(/* private fields */);