@@ -273,7 +273,7 @@ That is, ``{x}`` behaves like ``{x=x}``.
275Existence of an implementation
275Existence of an implementation
276−========================
276+==============================
278In order to show that an implementation of some interface is defined for some
278In order to show that an implementation of some interface is defined for some
279type, one could use the ``%implementation`` keyword:
279type, one could use the ``%implementation`` keyword: