Trait sequent::Named

pub trait Named {
    fn name(&self) -> Cow<'static, str>;
}

An entity that has a string-like name.

Required Methods

fn name(&self) -> Cow<'static, str>

The name of this entity.

Implementors

impl<N: StaticNamed> Named for N

Acquired implementation of Named for any type that implements StaticNamed.