Type Definition Imply
prop
type Imply<T, U> = Rc<dyn Fn(T) -> U>;
Logical IMPLY.
impl<T, U> Decidable for Imply<T, U> where T: Decidable, U: Decidable,
fn decide() -> ExcM<Self>
Get excluded middle rule.
impl<T, U> PBinOrd for Imply<T, U>
type Left = T
The left argument.
type Right = U
The right argument.