что такое взаимно рекурсивный тип?

Если в ML, пример рекурсивного типа данных:

datatype llist = Nil | Node of int * llist

Что такое взаимно рекурсивный тип данных и каков его пример в ML?

Ответы на вопрос(2)

Ваш ответ на вопрос