'elt list -> 'acc
type showable = Show: 'a * ('a -> string) -> showable
а что это за синтаксис Show: ?
GADT конструктор
Обсуждают сегодня