Type Alias Imply

pub type Imply<P, Q> = Or<Not<P>, Q>;

Represents predicates that are satisfied when P implies Q.

Aliased Type

pub struct Imply<P, Q> { /* private fields */ }