Up
—
package
core_kernel
Module
Core_kernel.Byte_units.Stable
module
V1
:
Core_kernel__.Stable_module_types.S0_without_comparator
with
type
t
=
t