Используя модуль включают в OCaml

В OCaml 3.11 я хочу "расширить" существующий модуль с помощью включать директивы, как так:

module MyString = struct
  include String
  let trim s = ...
end

Нет проблем. Но теперь я хочу выставить тип этого модуля явно (т.е. в .mli файле). Я хочу что-то вроде этого:

module MyString : sig
  include String
  val trim : string -> string
end

Но включать синтаксис не правилен, потому что Строка относится к модулю, не типу модуля (и компилятор действительно блюет). Как я могу обратиться к типу модуля для Строки здесь (без наличия, выписывают его явно в выражении сигнала)?

Спасибо!