{"note":"This file is an internal implementation detail to speed up HTML report generation. Its format can change at any time. You might be looking for the JSON report: https://coverage.rtfd.io/cmd.html#cmd-json","format":5,"version":"7.13.5","globals":"a94090a27e331f4a4620650576ba9d4f","files":{"z_145eef247bfb46b6_typed_event_py":{"hash":"1bd65a79bfe2b7b71243521db8a2cbfc","index":{"url":"z_145eef247bfb46b6_typed_event_py.html","file":"src/typed_event.py","description":"","nums":{"precision":0,"n_files":1,"n_statements":88,"n_excluded":20,"n_missing":0,"n_branches":0,"n_partial_branches":0,"n_missing_branches":0}}}}}