Enum Sort

pub enum Sort<T: Types> {
    Int,
    Bool,
    Real,
    Str,
    BitVec(Box<Sort<T>>),
    BvSize(usize),
    Var(usize),
    Func(Box<[Self; 2]>),
    Abs(usize, Box<Self>),
    App(SortCtor<T>, Vec<Self>),
}

Variants

Int

Bool

Real

Str

BitVec(Box<Sort<T>>)

BvSize(usize)

Var(usize)

Func(Box<[Self; 2]>)

Abs(usize, Box<Self>)

App(SortCtor<T>, Vec<Self>)

Implementations

impl<T: Types> Sort<T>

pub fn mk_func<I>(params: usize, inputs: I, output: Sort<T>) -> Sort<T>

where I: IntoIterator<Item = Sort<T>>, I::IntoIter: DoubleEndedIterator,

pub(crate) fn peel_out_abs(&self) -> (usize, &Sort<T>)

Trait Implementations

impl<T: Types> Clone for Sort<T>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Types> Display for Sort<T>

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

Formats the value using the given formatter.

impl<T: Types> Hash for Sort<T>

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.