Up
–
core_kernel
»
Core_kernel__Unit
» Stable
Module
Core_kernel__Unit.Stable
module
V1
:
Core_kernel__.Stable_module_types.S0
with
type
t
=
t