![]() |
![]()
| ![]() |
![]()
NAMEStdlib.Set - no description ModuleModule Stdlib.Set DocumentationModule Set
module type OrderedType = sig end Input signature of the functor Set.Make . module type S = sig end Output signature of the functor Set.Make . module Make : functor (Ord : OrderedType) -> sig end Functor building an implementation of the set structure given a totally ordered type.
|