interface for vmm_ring
This commit is contained in:
parent
04367421bf
commit
cdae37b0bf
|
@ -9,3 +9,4 @@ Vmm_resources
|
||||||
Vmm_trie
|
Vmm_trie
|
||||||
Vmm_unix
|
Vmm_unix
|
||||||
Vmm_compress
|
Vmm_compress
|
||||||
|
Vmm_ring
|
||||||
|
|
9
src/vmm_ring.mli
Normal file
9
src/vmm_ring.mli
Normal file
|
@ -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
|
Loading…
Reference in a new issue