timev

Like `time` but prefixes with a string and has optional display.

Build status: ok passing tests valid license

Documentation README Download
Authors
Documentation
Tags
    License
    Last updatedTuesday, February 10th, 2026 7:45:24am (UTC)
    Ring2
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/google-deepmind/levintreesearch_cm.git#timev-pkg4b7cb1876b21e3d6aec18e4a13ee61ee2bb61be5
    Last checkedFriday, February 13th, 2026 2:45:55am (UTC)
    Last editedMonday, February 9th, 2026 6:09:07pm (UTC)
    Date addedMonday, February 9th, 2026 2:40:06pm (UTC)
    Modules
    • timev/scribblings/timev.scrbl
    • timev/main.rkt