sig
  type ('instance, 'bin, 'increment, 'accu) t
  val create :
    ?n:int ->
    'd -> ('a -> 'b) -> ('c -> 'd -> 'd) -> ('a, 'b, 'c, 'd) Biocaml_accu.t
  val add : ('a, 'b, 'c, 'd) Biocaml_accu.t -> 'a -> 'c -> unit
  val stream : ('a, 'b, 'c, 'd) Biocaml_accu.t -> ('b * 'd) Stream.t
  val get : ('a, 'b, 'c, 'd) Biocaml_accu.t -> 'b -> 'd option
  type 'instance counter = ('instance, 'instance, int, int) Biocaml_accu.t
  module Counter :
    sig
      type 'a t = 'a Biocaml_accu.counter
      val create : ?n:int -> unit -> 'a Biocaml_accu.Counter.t
      val add : 'a Biocaml_accu.counter -> 'a -> int -> unit
      val tick : 'a Biocaml_accu.counter -> 'a -> unit
      val stream : 'a Biocaml_accu.counter -> ('a * int) Stream.t
      val of_stream : 'a Stream.t -> 'a Biocaml_accu.counter
    end
  val counts : ('a -> 'b) -> 'a Stream.t -> ('b * int) Stream.t
  val product :
    ?filter:('a -> 'b -> bool) ->
    ('a -> 'b -> 'c) -> 'a list -> 'b list -> ('c * int) Stream.t
  type ('a, 'b) relation = ('a, 'a, 'b, 'b list) Biocaml_accu.t
  module Relation :
    sig
      type ('a, 'b) t = ('a, 'b) Biocaml_accu.relation
      val create : ?n:int -> unit -> ('a, 'b) Biocaml_accu.Relation.t
      val add : ('a, 'b) Biocaml_accu.Relation.t -> 'a -> 'b -> unit
      val stream : ('a, 'b) Biocaml_accu.relation -> ('a * 'b list) Stream.t
      val of_stream : ('a * 'b) Stream.t -> ('a, 'b) Biocaml_accu.relation
    end
  val relation : ('a * 'b) Stream.t -> ('a * 'b list) Stream.t
end