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