package stdune

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t = {
  1. user_cpu_time : float;
    (*

    Same as the "user" time reported by the "time" command

    *)
  2. system_cpu_time : float;
    (*

    Same as the "sys" time reported by the "time" command

    *)
}