Module type Open_on_rhs_intf.S