Enum Sort

pub enum Sort {
    BV(u32),
    Int,
    Bool,
    Array {
        index: Box<Sort>,
        element: Box<Sort>,
    },
}

The sort of an expression.

Variants

BV(u32)

A bitvector of the specified size (in bits)

Int

An integer

Bool

A boolean

Array

An array

Fields

index: Box<Sort>

The type of the index

element: Box<Sort>

The type of the elements in the array

Trait Implementations

impl Clone for Sort

fn clone(&self) -> Sort

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Sort

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

Formats the value using the given formatter.

impl PartialEq for Sort

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Sort

impl StructuralPartialEq for Sort