Module Settings.GoalsSource

Sourcemodule Messages : sig ... end
Sourcemodule Diff : sig ... end
Sourcetype t = {
  1. diff : Diff.t;
  2. messages : Messages.t;
}