Merge pull request #461 from bikallem/expose-log-src

tracing: expose log src
mirleft · Dec 19, 2022 · 2456cd7 · 2456cd7
2 parents 356772c + ba00b16
commit 2456cd7
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/lib/tracing.mli b/lib/tracing.mli
@@ -9,3 +9,5 @@ val sexpfs : tag:string -> f:('a -> Sexp.t) -> 'a list -> unit
 
 val cs     : tag:string -> Cstruct.t -> unit
 val css    : tag:string -> Cstruct.t list -> unit
+
+val src    : Logs.src