Trait aterm::ATerm [−] [src]

pub trait ATerm<'s> {
    type Rec: Borrow<Self>;
    type Blob;
    fn get_annotations(&self) -> &[Self::Rec];

    fn get_int(&self) -> Option<i32>;

    fn get_long(&self) -> Option<i64>;

    fn get_real(&self) -> Option<f32>;

    fn get_application(&self) -> Option<(InternedString<'s>, &[Self::Rec])>;

    fn get_list(&self) -> Option<Vec<Self::Rec>>;

    fn get_placeholder(&self) -> Option<&TermPlaceholder<Self::Rec>>;

    fn get_blob(&self) -> Option<&Self::Blob>;
}

Associated Types

Basically the current type, but you may want to add something extra, so this is more flexible.

The extension point to add more variants to terms.

Required Methods

Implementors