Module Domain_store

module Domain_store: sig .. end

module type InputDomain = sig .. end
module type S = sig .. end

Automatic storage of the states computed during the analysis.

module Make: 
functor (Domain : InputDomain-> S with type t := Domain.t