module Set: Set
Set
module type OrderedType = sig .. end
sig
end
函子 Set.Make 的輸入簽章。
Set.Make
module type S = sig .. end
函子 Set.Make 的輸出簽章。
module Make: functor (Ord : OrderedType) -> S with type elt = Ord.t
functor (
Ord
:
OrderedType
) ->
S
with type elt = Ord.t
函子基於完全排序的型別建構集合結構的實作。