buffers.ml
kappa-library.generic
kappa-library.mixtures
kappa-library.runtime
kappa-library.terms
kappa-library.utils
1 2 3 4 5 6 7 8 module type Buffers = sig type 'a t val create : int -> 'a -> 'a t val add : 'a -> 'a t -> 'a t val iter : ('a -> unit) -> 'a t -> unit val clean : 'a t -> 'a t end
1 2 3 4 5 6 7 8
module type Buffers = sig type 'a t val create : int -> 'a -> 'a t val add : 'a -> 'a t -> 'a t val iter : ('a -> unit) -> 'a t -> unit val clean : 'a t -> 'a t end