module Domain_store: sig .. end
sig
end
module type InputDomain = sig .. end
module Make: functor (Domain : InputDomain) -> Abstract_domain.Store with type state := Domain.state
functor (
Domain
:
InputDomain
) ->
Abstract_domain.Store
with type state := Domain.state