smt_lang::problem

Trait Id

Source 
pub trait Id:
    Clone
    + Copy
    + PartialEq
    + Eq
    + Hash
    + Debug {
    // Required method
    fn empty() -> Self;
}

Required Methods§

Source

fn empty() -> Self

Dyn Compatibility§

This trait is not dyn compatible.

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

Implementors§