From 39a14bbedef9e1cf3a0258e28e21bd9ab85e7d27 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 8 Jun 2023 21:30:09 -0400 Subject: [PATCH] re-export Collector module --- src/trace.ml | 1 + src/trace.mli | 1 + 2 files changed, 2 insertions(+) diff --git a/src/trace.ml b/src/trace.ml index 94966e4..809fc30 100644 --- a/src/trace.ml +++ b/src/trace.ml @@ -1,5 +1,6 @@ include Types module A = Atomic_ +module Collector = Collector type collector = (module Collector.S) diff --git a/src/trace.mli b/src/trace.mli index 53e30ef..f7d714f 100644 --- a/src/trace.mli +++ b/src/trace.mli @@ -1,6 +1,7 @@ (** Trace. *) include module type of Types +module Collector = Collector (** {2 Tracing} *)