let position i =
"position", string_of_int i
+let depth i =
+ "depth", string_of_int i
+
let uri u =
"uri", U.string_of_uri u
let main a =
let sort, degr = a.E.n_main in
- ["main-sort", string_of_int sort;
+ ["main-position", string_of_int sort;
"main-degree", string_of_int degr;
]
let side a =
let sort, degr = a.E.n_side in
- ["side-sort", string_of_int sort;
+ ["side-position", string_of_int sort;
"side-degree", string_of_int degr;
]