From cdae37b0bf2833af514f865f6b1e0953a9b428a3 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Wed, 24 Oct 2018 01:10:35 +0200
Subject: [PATCH] interface for vmm_ring

---
 src/albatross.mllib | 3 ++-
 src/vmm_ring.mli    | 9 +++++++++
 2 files changed, 11 insertions(+), 1 deletion(-)
 create mode 100644 src/vmm_ring.mli

diff --git a/src/albatross.mllib b/src/albatross.mllib
index 42c6b00..54e58a8 100644
--- a/src/albatross.mllib
+++ b/src/albatross.mllib
@@ -8,4 +8,5 @@ Vmm_core
 Vmm_resources
 Vmm_trie
 Vmm_unix
-Vmm_compress
\ No newline at end of file
+Vmm_compress
+Vmm_ring
diff --git a/src/vmm_ring.mli b/src/vmm_ring.mli
new file mode 100644
index 0000000..14dc7ec
--- /dev/null
+++ b/src/vmm_ring.mli
@@ -0,0 +1,9 @@
+(* (c) 2018 Hannes Mehnert, all rights reserved *)
+
+type t
+
+val create : ?size:int -> unit -> t
+
+val write : t -> Ptime.t * string -> unit
+val read : t -> (Ptime.t * string) list
+val read_history : t -> Ptime.t -> (Ptime.t * string) list