refined/implication/
boolean_imp.rs

1use core::marker::PhantomData;
2
3use crate::boolean::*;
4
5use super::Implies;
6
7impl<F1, T1, F2, T2> Implies<And<T1, T2>> for And<F1, F2>
8where
9    F1: Implies<T1>,
10    F2: Implies<T2>,
11{
12    fn imply(self) -> And<T1, T2> {
13        And::<T1, T2>(PhantomData, PhantomData)
14    }
15}