Up
—
package
core_kernel
Module
Core_kernel.Bounded_index.Make.Stable
module
V1
:
Stable_comparable.V1
with
type
t
=
t
with
type
comparator_witness
=
comparator_witness