Up – Package index » trace » Library trace_private_util » Trace_private_util

Module `Trace_private_util`Source

Sourcemodule Domain_util : sig ... end

Sourcemodule Rpool : sig ... end

A resource pool (for buffers)