![]() |
![]()
| ![]() |
![]()
NAMEStdlib.Map - no description ModuleModule Stdlib.Map DocumentationModule Map
module type OrderedType = sig end Input signature of the functor Map.Make . module type S = sig end Output signature of the functor Map.Make . module Make : functor (Ord : OrderedType) -> sig end Functor building an implementation of the map structure given a totally ordered type.
|