XSD의 목록을 OCaml 및 Coq의 목록으로 읽습니다.

Question

행렬 유형은 벡터 목록입니다. 벡터는 정수 목록입니다. XSD 데이터 구조에 있습니다. 데이터 구조가이 생성자를 읽는 방법을 알고 싶습니다. 위에서 아래로 또는 위에서 아래로 읽는 것입니까? 더 구체적으로이 목록이 Coq와 OCaml에서 어떻게 보이는지 알고 싶습니다. 나의 이해에서 : matrix = [[1 :: 0 :: nil] :: [0 :: 0 :: nil] :: nil]

난 그냥 내 이해하고 있는지 확인하려면 :

나는리스트의 목록을해야합니다. 나에게 그걸 분명히 해 주시겠습니까? 고맙습니다.

<matrix> 
    <vector> 
    <coefficient> 
     <integer>1</integer> 
     </coefficient> 
     <coefficient> 
     <integer>0</integer> 
     </coefficient> 
    <vector> 
     <coefficient> 
     <integer>0</integer> 
     </coefficient> 
     <coefficient> 
     <integer>0</integer> 
     </coefficient> 
    </vector> 
</matrix> 

Answer 1

당신은 CoLoR 라이브러리에 대해 이야기하고있는 것입니다. 맞습니까? 함께 제공된 Rainbow 라이브러리를 보셨습니까? XML 증명 형식에서 Coq .v 사양으로의 변환이 발생하고 소스에서 쉽게 알아낼 수 있어야합니다.