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