Module type Asetmap.Map.S_with_key_set

module type S_with_key_set = sig .. end
Signature for maps with keys of a totally ordered type equiped with a set.

include Asetmap.Map.S
type key_set 
val dom : 'a t -> key_set
dom m is the domain of m.