Up
—
package
core_kernel
Parameter
Core_kernel.Set_intf.Make_S_plain_tree.1-Elt
type
t
type
comparator_witness
val
comparator : (
t
,
comparator_witness
)
Comparator.comparator