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