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.