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 updatedWednesday, March 18th, 2026 10:04:28pm (UTC)
    Ring2
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/google-deepmind/levintreesearch_cm.git#timev-pkg9169a5de6475684cb99d7ce3b6214ea5712bf968
    Last checkedMonday, March 30th, 2026 1:42:45pm (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