Enum Sort 

pub enum Sort {
    Bool,
    Int,
    Real,
    Named(String),
}

Sorts supported by the backend-agnostic obligation IR.

Variants

Bool

Int

Real

Named(String)

Implementations

impl Sort

pub fn named(name: impl Into<String>) -> Sort

Trait Implementations

impl Clone for Sort

fn clone(&self) -> Sort

Returns a duplicate 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<(), Error>

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