declare opaque type-name created by external-function-name

The opaque keyword is used to define a new data type drawn from an external function. Once the new type is defined, opaque is replaced in favour of this new data type.