sig
  val serialize :
    Path_struct.rooted_path_sequence * Path_struct.rooted_path_sequence ->
    Path_struct.rooted_path_sequence
  val path_analysis_of_cexpr :
    Analysis_context.analysis_context ->
    Xquery_core_ast.acexpr -> Path_struct.rooted_path_sequence
  val path_analysis_of_cstatement :
    Analysis_context.analysis_context ->
    Xquery_core_ast.acstatement -> Path_struct.rooted_path_sequence
  val path_analysis_of_cstatement_optim :
    Analysis_context.analysis_context ->
    Xquery_core_ast.acstatement -> Path_struct.rooted_path_sequence
  val path_analysis_of_cxmodule :
    Xquery_core_ast.acxmodule ->
    Path_struct.rooted_path_sequence * Analysis_context.analysis_context
  val path_analysis_of_cxmodule_optim :
    Xquery_core_ast.acxmodule ->
    Path_struct.rooted_path_sequence * Analysis_context.analysis_context
  val path_analysis_of_cprolog :
    Xquery_core_ast.acprolog ->
    Path_struct.rooted_path_sequence * Analysis_context.analysis_context
  val print_intermediate_analysis :
    Format.formatter ->
    Path_struct.rooted_path_sequence * Path_struct.rooted_path_sequence ->
    unit
  val print_full_analysis :
    Format.formatter -> Path_struct.rooted_path_sequence -> unit
end