module Justify

: sig

Explaining why a particular implementation was or was not chosen.

val justify_decision : General.config -> Feed_provider.feed_provider -> Requirements.t -> General.iface_uri -> source:bool -> Feed_url.global_id -> string

Run a solve with a single implementation as the only choice for an interface. If no solution is possible, explain why not. If a solution is possible, explain why it isn't the preferred solution.

end