Up
–
core_kernel
» Core_kernel__Date0_intf
Module
Core_kernel__Date0_intf
module
type
Date0
=
sig
...
end