hide internals from doc

imandra-ai · Feb 29, 2024 · 6ff9dc2 · 6ff9dc2
1 parent 1cb53c3
commit 6ff9dc2
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/trace/opentelemetry_trace.mli b/src/trace/opentelemetry_trace.mli
@@ -66,6 +66,8 @@ module Well_known : sig
     Otel.Span.kind * Otel.Span.key_value list
 end
 
+(**/**)
+
 (** Internal implementation details; do not consider these stable. *)
 module Internal : sig
   module M : sig
@@ -195,3 +197,5 @@ module Internal : sig
 
   val exit_span' : Otrace.span -> span_begin -> Otel.Span.t
 end
+
+(**/**)