Specific (gillian.Logging.Specific)

val normal : 
  ?title:string ->
  ?severity:Logging_constants.Severity.t ->
  Gillian.Logging.Loggable.t ->
  string ->
  Gillian.Logging.Report_id.t option

Logs a Loggable.t at the Normal log level

val verbose : 
  ?title:string ->
  ?severity:Logging_constants.Severity.t ->
  Gillian.Logging.Loggable.t ->
  string ->
  Gillian.Logging.Report_id.t option

Logs a Loggable.t at the Verbose log level

val tmi : 
  ?title:string ->
  ?severity:Logging_constants.Severity.t ->
  Gillian.Logging.Loggable.t ->
  string ->
  Gillian.Logging.Report_id.t option

Logs a Loggable.t at the TMI log level