Skip to main content

Atom

Trait Atom 

Source
pub trait Atom:
    Clone
    + Eq
    + Hash {
    // Required method
    fn is_variable(&self) -> bool;
}

Required Methods§

Source

fn is_variable(&self) -> bool

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§

Source§

impl<'int> Atom for Interned<'int, str>

Source§

impl<'int> Atom for Name<Interned<'int, str>>