Enum LIA_Sorts

pub enum LIA_Sorts {
    Int(Sorts),
    Core(Sorts),
}

Variants

Int(Sorts)

Core(Sorts)

Trait Implementations

impl Clone for LIA_Sorts

fn clone(&self) -> LIA_Sorts

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LIA_Sorts

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

Formats the value using the given formatter.

impl Display for LIA_Sorts

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

Formats the value using the given formatter.

impl Into<LIA_Sorts> for Sorts

fn into(self) -> LIA_Sorts

Converts this type into the (usually inferred) input type.

impl Into<LIA_Sorts> for Sorts

fn into(self) -> LIA_Sorts

Converts this type into the (usually inferred) input type.