pub struct Atom(/* private fields */);
Expand description
Unsigned integer type used for aspif atoms.
Trait Implementations§
source§impl From<Atom> for SolverLiteral
impl From<Atom> for SolverLiteral
source§impl From<SolverLiteral> for Atom
impl From<SolverLiteral> for Atom
source§fn from(literal: SolverLiteral) -> Self
fn from(literal: SolverLiteral) -> Self
Converts to this type from the input type.
impl Copy for Atom
Auto Trait Implementations§
impl RefUnwindSafe for Atom
impl Send for Atom
impl Sync for Atom
impl Unpin for Atom
impl UnwindSafe for Atom
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