Type Alias BoxedRule 

pub(super) type BoxedRule = Box<dyn FallibleRule<Logical>>;

Aliased Type

pub(super) struct BoxedRule(/* private fields */);