Trait TypeName

pub trait TypeName {
    // Provided method
    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.

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

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