гуглил. Мне нужны как в ОКамле или Хаскеле. Когда я в модуле определяю тип и никто с ним ничего сделать не может
Это не то тогда.
Может, что нибудь типа private type impl = {} type outer = impl ?
В файле сигнатуры определить одно, в файле реализации детали реализации. Ты это имеешь в виду?
А, точно, сигнатуры жеж
Обсуждают сегодня