Parent (gillian.Logging.Parent)

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

val set : Gillian.Logging.Report_id.t -> unit

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

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

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