как определить два типа, ссылающихся друг на друга в OCaml?

Question

Приведенный ниже код выдаст сообщение об ошибке синтаксиса:

type 'a edge = 
  |Empty 
  |End of 'a * 'a vertex * 'a vertex and
type 'a vertex = 
  |Empty
  |Vertex of 'a * 'a edge list;;

Как определить два типа, ссылающихся друг на друга?

Answer 1

Второй type не является синтаксически правильным:

type 'a edge = 
  |Empty 
  |End of 'a * 'a vertex * 'a vertex
and 'a vertex = 
  |Empty
  |Vertex of 'a * 'a edge list;;