Это очень буквальный ответ на ваш вопрос.Функция с типом unit -> string
, которая является полной, чистой и выдает уникальное значение string
для каждого возможного значения типа unit
:
let unit_to_string () = "unit"
Я не думаю, что это решит вашу фактическуюпроблема, но, возможно, это как-то приведет вас к лучшему выявлению и описанию вашей проблемы.