Debug (astral.Astral_internal.Debug)

include Debug_sig.DEBUG_OUTPUT

val sl_formula : 
  ?source:string ->
  ?status:Debug_sig.status ->
  string ->
  SL.t ->
  unit

val sl_benchmark : 
  ?source:string ->
  ?status:Debug_sig.status ->
  string ->
  ParserContext.t ->
  unit

val inductive_predicate : ?name:string -> InductiveDefinition.t -> unit

val input : 
  ?source:string ->
  ?status:Debug_sig.status ->
  string ->
  ParserContext.t ->
  unit

val context : 
  ?source:string ->
  ?status:Debug_sig.status ->
  string ->
  Context.t ->
  unit

val result : Context.t -> unit

val sl_graph : string -> SL_graph.t -> unit

val smt_formula : 
  ?source:string ->
  ?status:Debug_sig.status ->
  string ->
  SMT.t ->
  unit

val sl_model : string -> StackHeapModel.t -> unit

val smt_model : string -> SMT.Model.t -> unit

val output : string -> ('a -> string) -> 'a -> unit

val output_apply : string -> ('a -> 'b) -> ('b -> string) -> 'a -> unit

module QueryDir (C : Logger_sig.CONFIG_WITH_DIR) : sig ... end

module SubQueryDir (C : Logger_sig.CONFIG_WITH_DIR) : sig ... end