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