Module
Map
:
(module Stdlib__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.