Module Tenacious_lib.Tenacious_intf.S.Let_syntax.Let_syntax.Open_on_rhs