pub trait HasEntity<const TAG: &'static str> { }Implementors
impl<Next, Attr, const STAG: &'static str, const RTAG: &'static str, const ETAG: &'static str> HasEntity<ETAG> for ConstraintChain<STAG, RTAG, Attr, Next> where
Attr: BaseAttribute,
Next: HasEntity<ETAG>,
Prove ConstraintChain<_, _, _, HasEntity