Up
–
Index
»
Module_type_subst
»
Local
» local
Module type
Local.local
type
t
=
local