type t = Zeroinstall_solver.Diagnostics(Solver.Output).Note.t =
| UserRequested of Solver.Output.Input.restriction
| ReplacesConflict of Solver.Output.Role.t
| ReplacedByConflict of Solver.Output.Role.t
| Restricts of Solver.Output.Role.t
* Solver.Output.Input.impl
* Solver.Output.Input.restriction list
| RequiresCommand of Solver.Output.Role.t
* Solver.Output.Input.impl
* Solver.Output.Input.command_name
| Feed_problem of string
val pp : Stdlib.Format.formatter -> t -> unit