Module Fmlib.Finite_map

Thin wrapper around Stdlib.Map which supports monadic operations instead of throwing exceptions.

module type S = sig ... end
module Make (E : Module_types.SORTABLE) : S with type key = E.t