Up
–
core_kernel
»
Core_kernel__Zone_intf
»
Zone
»
Stable
» Full_data
Module
Stable.Full_data
module
V1
:
Core_kernel__.Stable_module_types.S0_without_comparator
with
type
t
=
t