chickadee » interfaces » implementation

Defines an implementation of interface NAME. An implementation is a record structure holding the given definitions. Note that implementation returns a first-class object, in contrast to interface which is a declaration.

Each definition declared in the interface can be accessed by invoking the definition-name with an implementation as its sole argument.