Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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