Module Path_analysis

module Path_analysis: sig .. end

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