Trait WithConstId
tylisp
pub trait WithConstId { const ID: u128; }
const ID: u128
impl<T: LispId<Id = ConstId<ID>>, const ID: u128> WithConstId for T