pub struct Implies {
pub left: Rc<Proposition>,
pub right: Rc<Proposition>,
}
Fields§
§left: Rc<Proposition>
§right: Rc<Proposition>
Trait Implementations§
source§impl<'de> Deserialize<'de> for Implies
impl<'de> Deserialize<'de> for Implies
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Auto Trait Implementations§
impl RefUnwindSafe for Implies
impl !Send for Implies
impl !Sync for Implies
impl Unpin for Implies
impl UnwindSafe for Implies
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more