Type Definition contrafact::BoxFact[][src]

type BoxFact<'a, T> = Box<dyn Fact<T> + 'a>;
Expand description

Type alias for a boxed Fact. Implements Fact itself.