Module Delimited_kernel__Read.Open_on_rhs_intf

module type S