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
构建集合结构实现的函子，给定一个全序类型。