gillian » Gillian » General » G_interpreter » S » Logging

Module S.Logging

module ConfigReport : sig ... end

module CmdResult : sig ... end

val pp_err : Stdlib.Format.formatter -> (vt, state_err_t) Exec_err.t -> unit

val pp_result : Stdlib.Format.formatter -> result_t list -> unit