gillian » Gillian » Logging » Parent

Module Logging.Parent

val get : unit -> Logging.Report_id.t option

val set : Logging.Report_id.t -> unit

val release : Logging.Report_id.t option -> unit

val with_id : Logging.Report_id.t option -> (unit -> 'a) -> 'a

val with_specific :
  ?title:string ->
  ?lvl:Mode.level ->
  ?severity:Logging.Logging_constants.Severity.t ->
  Loggable.t option ->
  string ->
  (Logging.Report_id.t option -> 'a) ->
  'a