Goblint_lib.XsltResultOutput
XSLT analysis result output.
module Make (Result : AnalysisResult.Result) : sig ... end
module Make2 (Result : AnalysisResult.Result) : sig ... end