
time(Goal)

   Call the goal Goal, measure its runtime (cputime) and print the result after success or failure

Type
   library(util)

Modules
   This predicate is sensitive to its module context (tool predicate, see @/2).


