Module Debug.SubQueryDir

Parameters

Signature

include Logger_sig.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
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