sig
  val new_counter : unit -> int
  val cleanup_results : unit -> unit
  module Make :
    functor (Value : Datatype.S) (Domain : Abstract_domain.S->
      sig
        val store_computed_call :
          Cil_types.kernel_function ->
          Domain.t ->
          Value.t Eval.or_bottom list ->
          (Partition.key * Domain.t) list -> unit
        val reuse_previous_call :
          Cil_types.kernel_function ->
          Domain.t ->
          Value.t Eval.or_bottom list ->
          ((Partition.key * Domain.t) list * int) option
      end
end