Trait WithConstId

pub trait WithConstId {
    const ID: u128;
}

Required Associated Constants

const ID: u128

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

impl<T: LispId<Id = ConstId<ID>>, const ID: u128> WithConstId for T

const ID: u128 = ID