(function() {var implementors = {
"air_interpreter_data":[["impl <a class=\"trait\" href=\"https://docs.rs/num-traits/0.2/num_traits/ops/checked/trait.CheckedAdd.html\" title=\"trait num_traits::ops::checked::CheckedAdd\">CheckedAdd</a> for <a class=\"struct\" href=\"air_interpreter_data/struct.TracePos.html\" title=\"struct air_interpreter_data::TracePos\">TracePos</a>"]]
};if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})()