Time Usage: time

### Time Usage: `time`

Field | Mutable | Type | Explanation
--- | --- | --- | ---
`user` | no | `Int` | Operating system user time of the Oz Emulator process in milliseconds.
`system` | no | `Int` | Operating system system time of the Oz Emulator process in milliseconds.
`total` | no | `Int` | Elapsed real time in milli seconds from an arbitrary point in the past (for example, system start-up time). Can be used to determine the wall time elapsed between two successive applications of `{Property.get 'time.total'}`.
`run` | no | `Int` | Run time in milliseconds.
`idle` | no | `Int` | Idle time in milliseconds.
`copy` | no | `Int` | Time spent on copying (that is, on cloning of spaces) in milliseconds.
`propagate` | no | `Int` | Time spent on executing propagators in milliseconds.
`gc` | no | `Int` | Time spent on garbage collection in milliseconds.
`detailed` | yes | `Bool` | Only if `true`, the fields `time.copy`, `time.gc`, and `time.propagate` are updated accordingly.