(function() {var implementors = {};
implementors["interval_set"] = ["impl Clone for Interval","impl Clone for IntervalSet",];
if (window.register_implementors) {
window.register_implementors(implementors);
} else {
window.pending_implementors = implementors;
}
})()