|
NAMEMoreLabels - Extra labeled libraries. ModuleModule MoreLabels DocumentationModule MoreLabels
Extra labeled libraries. This meta-module provides labelized versions of the MoreLabels.Hashtbl , MoreLabels.Map and MoreLabels.Set modules. This module is intended to be used through open MoreLabels which replaces MoreLabels.Hashtbl , MoreLabels.Map , and MoreLabels.Set with their labeled counterparts. For example:
module Hashtbl : sig end module Map : sig end module Set : sig end
|