Traced_sigs.Mapmodule type S = sig ... endIn Lwtreslib, like in the Stdlib, the Map module exports a functor to instantiate maps with known-type keys. As a result, the bulk of the documentation for maps is located within the module types returned by the functors: in Traced_functor_outputs.Map.