Я делаю свои первые эксперименты с codatatype , но я застрял довольно рано. Я начал с этого определения ветвящегося, возможно, бесконечного дерева: codatatype (lset: 'a) ltree = Node (lnext : "'a ⇒ 'a ltree option") и некоторые определения...