module Domain_store: sig .. end
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
functor (
Domain
:
InputDomain
) ->
S
with type t := Domain.t