Up
—
package
core_kernel
Module
Core_kernel__.Source_code_position.Stable
module
V1
:
Core_kernel__.Stable_module_types.S0
with
type
t
=
t