pub struct And {
pub variables: Vec<Rc<Proposition>>,
}
Fields§
§variables: Vec<Rc<Proposition>>
Trait Implementations§
source§impl<'de> Deserialize<'de> for And
impl<'de> Deserialize<'de> for And
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 And
impl !Send for And
impl !Sync for And
impl Unpin for And
impl UnwindSafe for And
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