Up
–
goblint
»
Goblint_lib
»
AnalysisResult
» ResultConf
Module type
AnalysisResult.ResultConf
val
result_name : string