Module type Abstract_domain.Internal

module type Internal = sig .. end
Full implementation of domains. Automatically built by Domain_builder.Complete from an Abstract_domain.S_with_Structure domain.

include Abstract_domain.S_with_Structure
module Store: Abstract_domain.Store  with type state := state