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