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