Trait smtree::traits::TypeName[−][src]

pub trait TypeName {
    fn get_name() -> String { ... }
}
Expand description

Trait for getting the type name of tree nodes in the SMT.

Provided methods

A function returning the type name of tree nodes in the SMT for logging purpose.

Implementations on Foreign Types

======================================================================================

Implementors