Struct gluon_base::types::Skolem [−][src]
Fields
name: Id
id: u32
kind: ArcKind
Trait Implementations
impl<Id: Clone> Clone for Skolem<Id>
[src]
impl<Id: Clone> Clone for Skolem<Id>
fn clone(&self) -> Skolem<Id>
[src]
fn clone(&self) -> Skolem<Id>
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
fn clone_from(&mut self, source: &Self)
1.0.0
[src]Performs copy-assignment from source
. Read more
impl<Id: Debug> Debug for Skolem<Id>
[src]
impl<Id: Debug> Debug for Skolem<Id>
fn fmt(&self, f: &mut Formatter) -> Result
[src]
fn fmt(&self, f: &mut Formatter) -> Result
Formats the value using the given formatter. Read more
impl<Id: Eq> Eq for Skolem<Id>
[src]
impl<Id: Eq> Eq for Skolem<Id>
impl<Id: PartialEq> PartialEq for Skolem<Id>
[src]
impl<Id: PartialEq> PartialEq for Skolem<Id>
fn eq(&self, other: &Skolem<Id>) -> bool
[src]
fn eq(&self, other: &Skolem<Id>) -> bool
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, other: &Skolem<Id>) -> bool
[src]
fn ne(&self, other: &Skolem<Id>) -> bool
This method tests for !=
.
impl<Id: Hash> Hash for Skolem<Id>
[src]
impl<Id: Hash> Hash for Skolem<Id>