Module Server.CoqLogMessageParamsSource

Sourcetype t = {
  1. message : string;
}