"use strict";
(function () {
    var implementors = {
        "der": []
    };
    if (window.register_implementors) {
        window.register_implementors(implementors);
    }
    else {
        window.pending_implementors = implementors;
    }
})();
