Module `Make.Diagnostics`

include sig ... end

module Note : sig ... end

module Component : sig ... end

type t = Component.t Solver.Output.RoleMap.t

val of_result : Solver.Output.t -> t

val get_failure_reason : ?verbose:bool -> Solver.Output.t -> string