Legend:
Library
Module
Module type
Parameter
Class
Class type
module type OrderedType = Map.OrderedType
module type S = sig ... end
module Make (Ord : OrderedType) : S with type key = Ord.t and type 'a t = 'a Map.Make(Ord).t