Module Analysis_context

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