Struct SortedVar 

pub struct SortedVar<E: Environment> {
    pub id: E::Ident,
    pub sort: GroundSort<E::Sort>,
}

Sorted variable.

Fields

id: E::Ident

sort: GroundSort<E::Sort>

Trait Implementations

impl<E: Environment> Clone for SortedVar<E>

where E::Ident: Clone,

fn clone(&self) -> SortedVar<E>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<E: Environment> Display for SortedVar<E>

where E::Constant: Display, E::Ident: Display, E::Sort: Display,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<E: Environment> From<SortedVar<E>> for Located<SortedVar>

where E::Ident: Display, E::Sort: Display,

fn from(var: SortedVar<E>) -> Self

Converts to this type from the input type.