diff options
| author | Valentin Gatien-Baron <vgatien-baron@janestreet.com> | 2017-01-31 16:49:37 -0500 |
|---|---|---|
| committer | Valentin Gatien-Baron <vgatien-baron@janestreet.com> | 2017-02-01 16:24:20 -0500 |
| commit | 8a1446588e1dce34b45e1652400924273024f1c8 (patch) | |
| tree | 25d82f21ba37f314aff65afe07d3bed6ad34cd2f /boot | |
| parent | f936036fdc17fad7f6bd7291171133962c68684c (diff) | |
| download | ocaml-8a1446588e1dce34b45e1652400924273024f1c8.tar.gz | |
add a variant of Sys.time that include user and system time of subprocesses
It's not exposed in the stdlib, as it doesn't seem to be implementable
on windows
Diffstat (limited to 'boot')
0 files changed, 0 insertions, 0 deletions