example of implemented_by attribute with opaque declaration

[arademaker]

What question should the reference manual answer?

Section 7.3 mention the attribute implemented_by used in opaque definitions. There is no link to further documentation about this attribute and no example on how to use it.