Type Definition BoxFact
contrafact
type BoxFact<'a, T> = Box<dyn Fact<T> + 'a>;
Type alias for a boxed Fact. Implements Fact itself.
Fact