You can search for identifiers within the package.
in-package search v0.2.0
Lift the merge functions to maps.
module M : Map.S
module X : Tc.S0 with type t = M.key
val merge : 'a Tc.t -> (M.key -> 'a option t) -> 'a M.t t
Lift to X.t maps.
X.t