Up
–
core_extended
»
Delimited_kernel__
»
Read_intf
»
Root
» Open_on_rhs_intf
Module
Root.Open_on_rhs_intf
module
type
S