Up
—
package
core
Module
Core__Core_zone_intf.Core_zone.Stable.Full_data
module
V1
:
Core_kernel__.Stable_module_types.S0_without_comparator
with
type
t
=
t