sig
  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
end