Module Domain_store

module Domain_store: sig .. end

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