(module Timed_function)