Enum SortArgument 

pub enum SortArgument {
    Value(Arc<Integer>),
    Sort(Sort),
}

An argument in a parametric sort such as Int and Real in (Array Int Real).

Variants

Value(Arc<Integer>)

An integer argument (e.g., 32 in (_ BitVec 32)).

Sort(Sort)

A sort argument (e.g., Int and Real in (Array Int Real)).

Trait Implementations

impl Clone for SortArgument

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SortArgument

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

Formats the value using the given formatter.

impl Eq for SortArgument

impl From<Integer> for SortArgument

fn from(value: Integer) -> Self

Converts to this type from the input type.

impl<T: Into<Sort>> From<T> for SortArgument

fn from(value: T) -> Self

Converts to this type from the input type.

impl Hash for SortArgument

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for SortArgument

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for SortArgument

impl TypeCheck for SortArgument

fn type_check(&self) -> Result<Sort>