links

The Links Programming Language
IN THIS PACKAGE
module type OrderedType = MoreLabels.Map.OrderedType
module type S = MoreLabels.Map.S
module Make (Ord : OrderedType) : sig ... end