Type Definition contrafact::Facts[−][src]

type Facts<'a, T> = Vec<BoxFact<'a, T>>;
Expand description

Type alias for a Vec of boxed Facts. Implements Fact itself.