Up
–
core_kernel
»
Core_kernel
»
Set
» M
Module
Set.M
Parameters
Elt
:
sig
...
end
Signature
type
nonrec
t
=
(
Elt.t
,
Elt.comparator_witness
)
t