Lattices.Partial_inversible_mapSourceLattice of partial inversible maps.
Sets of partial maps M ∈ ℘(𝕂 ⇀ 𝕍) from concrete keys set 𝕂 to concrete values set 𝕍 are abstracted as a set of partial maps ℳ ∈ 𝕂 ⇀ (℘(𝕍) ∪ ⊤).
module Make
(Key : ORDER)
(Value : ORDER) :
Partial_inversible_map_sig.S
with type key := Key.t
and type value := Value.t
and module KeySet = Mopsa_utils.SetExt.Make(Key)
and module ValueSet = Mopsa_utils.SetExt.Make(Value)