pub struct ATerm;
Expand description
The terminating type for type arrays.
Trait Implementations
sourceimpl Ord for ATerm
impl Ord for ATerm
sourceimpl<Rhs> PartialDiv<Rhs> for ATerm
impl<Rhs> PartialDiv<Rhs> for ATerm
sourcefn partial_div(self, _: Rhs) -> Self::Output
fn partial_div(self, _: Rhs) -> Self::Output
Method for performing the division
sourceimpl PartialOrd<ATerm> for ATerm
impl PartialOrd<ATerm> for ATerm
sourcefn partial_cmp(&self, other: &ATerm) -> Option<Ordering>
fn partial_cmp(&self, other: &ATerm) -> Option<Ordering>
This method returns an ordering between self
and other
values if one exists. Read more
1.0.0 · sourcefn lt(&self, other: &Rhs) -> bool
fn lt(&self, other: &Rhs) -> bool
This method tests less than (for self
and other
) and is used by the <
operator. Read more
1.0.0 · sourcefn 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 more
impl Copy for ATerm
impl Eq for ATerm
impl StructuralEq for ATerm
impl StructuralPartialEq for ATerm
impl TypeArray for ATerm
Auto Trait Implementations
impl RefUnwindSafe for ATerm
impl Send for ATerm
impl Sync for ATerm
impl Unpin for ATerm
impl UnwindSafe for ATerm
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more