functor (Translate : GettextTranslate.TRANSLATE_TYPE) (Charset : GettextCharset.CHARSET_TYPE) (Locale : GettextLocale.LOCALE_TYPE) -> GettextTypes.REALIZE_TYPE