links

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