pub struct ATerm;
Expand description
The terminating type for type arrays.
Trait Implementations§
source§impl Ord for ATerm
impl Ord for ATerm
source§impl<Rhs> PartialDiv<Rhs> for ATerm
impl<Rhs> PartialDiv<Rhs> for ATerm
source§impl PartialEq for ATerm
impl PartialEq for ATerm
source§impl PartialOrd for ATerm
impl PartialOrd for ATerm
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for
self
and other
) and is used by the <=
operator. Read moreimpl Copy for ATerm
impl Eq for ATerm
impl StructuralPartialEq for ATerm
impl TypeArray for ATerm
Auto Trait Implementations§
impl Freeze for ATerm
impl RefUnwindSafe for ATerm
impl Send for ATerm
impl Sync for ATerm
impl Unpin for ATerm
impl UnwindSafe for ATerm
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