Enum SmtType 

pub enum SmtType {
    Generic,
}

Variants

Generic

Trait Implementations

impl Debug for SmtType

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

Formats the value using the given formatter.

impl<'_derivative_strum> From<&'_derivative_strum SmtType> for &'static str

fn from(x: &'_derivative_strum SmtType) -> &'static str

Converts to this type from the input type.

impl From<SmtType> for &'static str

fn from(x: SmtType) -> &'static str

Converts to this type from the input type.

impl FromStr for SmtType

type Err = ParseError

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<SmtType, Self::Err>

Parses a string s to return a value of this type.

impl VariantNames for SmtType

const VARIANTS: &'static [&'static str]

Names of the variants of this enum