Goblint_logs
module AnsiColors : sig ... end
ANSI escape colors.
module Logs : sig ... end
Logging, which isn't for presenting analysis results.