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