Logger (astral.Astral_internal.IncrementalSolverBuilder.Make.Logger)

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

val warning : ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a

val error : ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a

val debug : ('a, Stdlib.Format.formatter, unit, unit) Stdlib.format4 -> 'a

val sl_formula : 
  ?source:string ->
  ?status:[ `Sat | `Unknown | `Unsat ] ->
  string ->
  SL.t ->
  unit

val sl_benchmark : 
  ?source:string ->
  ?status:[ `Sat | `Unknown | `Unsat ] ->
  string ->
  ParserContext.t ->
  unit

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

val input : 
  ?source:string ->
  ?status:[ `Sat | `Unknown | `Unsat ] ->
  string ->
  ParserContext.t ->
  unit

val context : 
  ?source:string ->
  ?status:[ `Sat | `Unknown | `Unsat ] ->
  string ->
  Context.t ->
  unit

val result : Context.t -> unit

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

val smt_formula : 
  ?source:string ->
  ?status:[ `Sat | `Unknown | `Unsat ] ->
  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