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
type Rec: Borrow<Self>
Basically the current type, but you may want to add something extra, so this is more flexible.
type Blob
The extension point to add more variants to terms.