Есть тип CharSet:



Вот так вот вижу в stdout ожидаемое содержимое сета:



Пытаюсь превратить этот сет в список и получаю ошибки:


В чем я не прав на этот раз?

k0rvinWhite Owl,

в том, что невнимательно прочитал документацию по модулю Set?
Это я невнимательно читаю?! Это в документации фигня написана:
Module type Set.Stype elt
The type of the set elements.
То есть если верить документации, то elt это тип элемента. То есть в данном случае elt должен быть равен Char.
А в примере ты используешь elt как хранилище данных. рррррр....

k0rvin с fold
как надо =) Спасибо.

Или я действительно невнимательно читаю?
Module type Set.Sval fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
То есть моя ошибка в первом посте была в том, что я перепутал местами аккумулирующий список с элементом внутри функции и исходный принимающий список с обрабатываемым сетом.

Тогда мне нужно пояснение по вот этому набору стрелочек...
У inline функции указана сигнатура elt -> 'a -> 'a. Это надо понимать так что первым параметром идут данные типа elt, а вторым и третьим параметрами может быть все что угодно, так?

White OwlТогда мне нужно пояснение по вот этому набору стрелочек...
У inline функции указана сигнатура elt -> 'a -> 'a. Это надо понимать так что первым параметром идут данные типа elt, а вторым и третьим параметрами может быть все что угодно, так?
.... но!
В коде


Я вижу только два параметра для inline-функции и два параметра после функции. Значит ли это что последние 'a означают результат функций? Или это необязательные параметры?