Interface EffectiveStatementMixins.ConstraintMetaDefinitionMixin<A,​D extends DeclaredStatement<A>>