Enum BaseSort 

pub enum BaseSort {
    BitVec(BitVecSort),
    App(Ident, SortArguments),
}

Variants

BitVec(BitVecSort)

App(Ident, SortArguments)

Trait Implementations

impl Debug for BaseSort

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

Formats the value using the given formatter.

impl Parse for BaseSort

fn parse(input: ParseStream<'_>) -> Result<Self>

impl ToTokens for BaseSort

fn to_tokens(&self, tokens: &mut TokenStream)

Write self to the given TokenStream.

fn to_token_stream(&self) -> TokenStream

Convert self directly into a TokenStream object.

fn into_token_stream(self) -> TokenStream

where Self: Sized,

Convert self directly into a TokenStream object.