- path: T.id list; (* current section path *)
- line: int; (* line number *)
- sort: int; (* first default sort index *)
- mk_uri:Y.uri_generator (* uri generator *)
+ path : T.id list; (* current section path *)
+ line : int; (* line number *)
+ sort : int; (* first default sort index *)
+ mk_uri: O.uri_generator (* uri generator *)