Rechercher une page de manuel
MoreLabels.Set.3o
Langue: en
Version: 291238 (debian - 07/07/09)
Section: 3 (Bibliothèques de fonctions)
Sommaire
NAME
MoreLabels.Set - no descriptionModule
Module MoreLabels.SetDocumentation
Module Set
: sig end
module type OrderedType = Set.OrderedType
module type S = sig end
module Make : functor (Ord : OrderedType) -> sig end
Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre