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