export info and debug

mirage · Jun 6, 2015 · 0c14900 · 0c14900
1 parent 38f2036
commit 0c14900
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/tcp/segment.mli b/tcp/segment.mli
@@ -16,6 +16,9 @@
 
 (** TCP segments *)
 
+val info : Log.t
+val debug : Log.t
+
 (** The receive queue stores out-of-order segments, and can coalesece
     them on input and pass on an ordered list up the stack to the
     application.