collect_metrics

collect_metrics :: (tc: Typechecked(Code_Procedure_Body)) -> metrics: Metrics

Parameters

tc: Typechecked(Code_Procedure_Body)

Returns

metrics: Metrics