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;;