note
	description: "Possibly infinite partial maps."
	author: "Nadia Polikarpova"
	date: "$Date$"
	revision: "$Revision$"

deferred class
	MML_MAP [K->ANY, G->ANY]

inherit
	MML_MODEL

feature -- Access
	domain: MML_SET [K]
			-- Set of keys
		deferred
		end

	item alias "[]" (k: K): G
			-- Value associated with `k'
		require
			in_domain: domain.has (k)
		deferred
		end

feature -- Replacement
	replaced_at (k: K; x: G): MML_MAP [K, G]
			-- Current map with the value associated with `k' replaced by `x'
		require
			in_domain: domain.has (k)
		deferred
		end

feature -- Basic operations
--	restricted (subdomain: MML_SET [K]): MML_MAP [K, G]
--			-- This map with all key-value pairs where key is outside `restriction' removed
--		deferred
--		end
end