Up
—
package
core_kernel
Module
Core_kernel__Zone_intf.Zone.S_stable.Full_data
module
V1
:
Core_kernel__.Stable_module_types.S0_without_comparator
with
type
t
=
t