report_time: function for reporting the time it took to execute statement

Description Usage

Description

function for reporting the time it took to execute statement

Usage

1

petermeissner/idep documentation built on May 25, 2019, 1:53 a.m.