sig
  val fprintf_logical_algstatement :
    Format.formatter ->
    string -> ('a, 'b) Xquery_algebra_ast.aalgop_expr -> unit
  val printf_logical_algstatement :
    string -> ('a, 'b) Xquery_algebra_ast.aalgop_expr -> unit
  val bprintf_logical_algstatement :
    string -> ('a, 'b) Xquery_algebra_ast.aalgop_expr -> string
  val fprintf_logical_algprolog :
    Format.formatter ->
    string -> ('a, 'b, 'c) Xquery_algebra_ast.aalgop_prolog -> unit
  val printf_logical_algprolog :
    string -> ('a, 'b, 'c) Xquery_algebra_ast.aalgop_prolog -> unit
  val bprintf_logical_algprolog :
    string -> ('a, 'b, 'c) Xquery_algebra_ast.aalgop_prolog -> string
  val fprintf_logical_algmodule :
    Format.formatter ->
    string -> ('a, 'b, 'c) Xquery_algebra_ast.aalgop_xmodule -> unit
  val printf_logical_algmodule :
    string -> ('a, 'b, 'c) Xquery_algebra_ast.aalgop_xmodule -> unit
  val bprintf_logical_algmodule :
    string -> ('a, 'b, 'c) Xquery_algebra_ast.aalgop_xmodule -> string
  val fprintf_optimized_algstatement :
    Format.formatter ->
    string -> ('a, 'b) Xquery_algebra_ast.aalgop_expr -> unit
  val printf_optimized_algstatement :
    string -> ('a, 'b) Xquery_algebra_ast.aalgop_expr -> unit
  val bprintf_optimized_algstatement :
    string -> ('a, 'b) Xquery_algebra_ast.aalgop_expr -> string
  val fprintf_optimized_algprolog :
    Format.formatter ->
    string -> ('a, 'b, 'c) Xquery_algebra_ast.aalgop_prolog -> unit
  val printf_optimized_algprolog :
    string -> ('a, 'b, 'c) Xquery_algebra_ast.aalgop_prolog -> unit
  val bprintf_optimized_algprolog :
    string -> ('a, 'b, 'c) Xquery_algebra_ast.aalgop_prolog -> string
  val fprintf_optimized_algmodule :
    Format.formatter ->
    string -> ('a, 'b, 'c) Xquery_algebra_ast.aalgop_xmodule -> unit
  val printf_optimized_algmodule :
    string -> ('a, 'b, 'c) Xquery_algebra_ast.aalgop_xmodule -> unit
  val bprintf_optimized_algmodule :
    string -> ('a, 'b, 'c) Xquery_algebra_ast.aalgop_xmodule -> string
  val fprintf_physical_algstatement :
    Format.formatter ->
    string -> ('a, 'b) Xquery_algebra_ast.aalgop_expr -> unit
  val printf_physical_algstatement :
    string -> ('a, 'b) Xquery_algebra_ast.aalgop_expr -> unit
  val bprintf_physical_algstatement :
    string -> ('a, 'b) Xquery_algebra_ast.aalgop_expr -> string
  val fprintf_physical_algprolog :
    Format.formatter ->
    string -> ('a, 'b, 'c) Xquery_algebra_ast.aalgop_prolog -> unit
  val printf_physical_algprolog :
    string -> ('a, 'b, 'c) Xquery_algebra_ast.aalgop_prolog -> unit
  val bprintf_physical_algprolog :
    string -> ('a, 'b, 'c) Xquery_algebra_ast.aalgop_prolog -> string
  val fprintf_physical_algmodule :
    Format.formatter ->
    string -> ('a, 'b, 'c) Xquery_algebra_ast.aalgop_xmodule -> unit
  val printf_physical_algmodule :
    string -> ('a, 'b, 'c) Xquery_algebra_ast.aalgop_xmodule -> unit
  val bprintf_physical_algmodule :
    string -> ('a, 'b, 'c) Xquery_algebra_ast.aalgop_xmodule -> string
  val print_anode_test :
    Format.formatter -> Xquery_algebra_ast.anode_test -> unit
  val printf_anode_test : string -> Xquery_algebra_ast.anode_test -> unit
  val bprintf_anode_test : string -> Xquery_algebra_ast.anode_test -> string
  val print_asequencetype :
    Format.formatter -> Xquery_algebra_ast.asequencetype -> unit
  val print_use_counts :
    Format.formatter ->
    (Namespace_names.rqname * (int * Xquery_algebra_ast.variable_usage)) list ->
    unit
end