Up
–
core_kernel
»
Core_kernel__
»
Lazy
» Stable
Module
Lazy.Stable
module
V1
:
Core_kernel__.Stable_module_types.S1
with
type
'a
t
=
'a
t