sig
  type debug_flag =
      JoinDebug
    | TypeDebug
    | DefaultDebug
    | CompileDebug
    | StaticDebug
    | DxqDebug
    | MaterializationDebug
  val print_join_debug : string -> unit
  val print_dxq_debug : string -> unit
  val print_materialization_debug : string -> unit
  val print_typing_debug : string -> unit
  val print_compile_debug : string -> unit
  val print_static_debug : string -> unit
  val print_default_debug : string -> unit
  val sprintf_default_debug :
    ('-> string, unit, string) Pervasives.format -> '-> unit
  val set_debug : Debug.debug_flag list -> unit
  val join_debug : unit -> bool
  val typing_debug : unit -> bool
  val dxq_debug : unit -> bool
  val compile_debug : unit -> bool
  val static_debug : unit -> bool
  val materialization_debug : unit -> bool
  val default_debug : unit -> bool
  val debug_flag_of_string : string -> Debug.debug_flag
end