У меня есть модуль StringMap
, построенный функтором Map.Make
с заданным типом String
:
module StringMap = Map.Make(String)
Помимо обычные операции, предоставляемые Map
, я хотел бы добавить больше определений в этот модуль, например, my_own_function
, чтобы я мог вызвать StringMap.my_own_function
. Кто-нибудь знает, где я должен определять такие функции и их подпись?