Module Writer.Thread_idSource

The trace format interns the 64 bit thread and process IDs into an 8-bit thread ID and we expose this to the user.

Sourcetype t
Sourceval of_int : int -> t