sig
type analysis_context
val build_analysis_context : unit -> Analysis_context.analysis_context
val add_var_path :
Analysis_context.analysis_context ->
Xquery_common_ast.cvname ->
Path_struct.rooted_path_sequence -> Analysis_context.analysis_context
val get_var_path :
Analysis_context.analysis_context ->
Xquery_common_ast.cvname -> Path_struct.rooted_path_sequence
end