Module Alg_path_analysis

module Alg_path_analysis: sig .. end

val path_analysis_of_logical_algop_expr : Logical_algebra_types.logical_algop_expr -> unit

val path_analysis_of_logical_algop_prolog : Logical_algebra_types.logical_algop_prolog -> unit

val path_analysis_of_logical_algop_xmodule : Logical_algebra_types.logical_algop_xmodule -> unit

val path_analysis_of_statement : Compiled_program_units.compiled_statement ->
       Alg_path_struct.rooted_path_sequence

val is_streaming_prohibitive : Alg_path_struct.rooted_path_sequence -> bool

val print_full_analysis : Format.formatter -> Alg_path_struct.rooted_path_sequence -> unit

val print_intermediate_analysis : Format.formatter -> Alg_path_struct.paths -> unit