(function() {var implementors = {};
implementors["xmas_elf"] = [];
if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})()