Прочитайте список в XSD к списку в OCaml и Coq

У меня есть матрица типа списка векторов. А вектор-это список целых чисел. Он находится в структуре данных 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>