type + 'at в библиотеке карт Ocaml?

Я работаю со встроенной библиотекой карт Ocaml для набора проблем, и у меня проблемы с доступом к типу данных самой карты. Предполагается, что это будет третья реализация словаря (первые два - это список и несбалансированное двоичное дерево поиска), а часть функтора, который я должен реализовать, - это «type dict», который является типом данных фактического словаря. Для списка введите dict was (D.key * D.value) list; для дерева тип dict был пустым | Ветвь ((D.key * D.value), dict, dict). В документации Ocaml говорится:

type +'a t 
The type of maps from type key to type 'a.

Это похоже на то, что мне нужно, но я не могу использовать его правильно. Кстати, M - это мой модуль Map.Make. Я пробовал

type dict = M.t
type dict = M.+D.value t
type dict = M.+

, но продолжаю получать сообщения об ошибках. Кто-нибудь может помочь? Большое спасибо!