Module Make.Open_on_rhs_intf