Экзистенциальные типы как типы модулей в OCaml

#ocaml #ocaml Вопрос: Заданный тип type 'a ty и тип модуля module type TY = (sig type a val x : a ty end) Я могу определить let toTY (type…