Trait sequent::StaticNamed

pub trait StaticNamed {
    fn name() -> &'static str;
}

Something that has a constant name (i.e., independent of Self).

Required Methods

fn name() -> &'static str

The static name of this type.

Implementors

impl<E> StaticNamed for Parser<E>where
    E: StaticNamed,

Acquired implementation of StaticNamed for any Parser that is parametrised with an Event type that is also StaticNamed.