use std::fmt;

use std::ops::Deref;

use delegate::delegate;

use merc_aterm::ATerm;

use merc_aterm::ATermArgs;

use merc_aterm::ATermIndex;

use merc_aterm::ATermRef;

use merc_aterm::ATermString;

use merc_aterm::Markable;

use merc_aterm::Symb;

use merc_aterm::SymbolRef;

use merc_aterm::Term;

use merc_aterm::TermIterator;

use merc_aterm::Transmutable;

use merc_aterm::storage::Marker;

use merc_macros::merc_derive_terms;

use merc_macros::merc_term;

use crate::DATA_SYMBOLS;

use crate::is_basic_sort;

use crate::is_sort_expression;

/// This module is only used internally to run the proc macro.

#[merc_derive_terms]

mod inner {

    use super::*;

    #[merc_term(is_sort_expression)]

    pub struct SortExpression {

        term: ATerm,

    }

    impl SortExpression {

        /// Returns the name of the sort.

        /// Creates a basic sort with the unknown value.

    }

    impl fmt::Display for SortExpression {

    }

    #[merc_term(is_basic_sort)]

    pub struct BasicSort {

        term: ATerm,

    }

    impl BasicSort {

        /// Returns the name of the sort.

    }

    impl fmt::Display for BasicSort {

    }

}

pub use inner::*;