Up
–
infer
»
Datalog
» DatalogAnalysis
Module
Datalog.DatalogAnalysis
val
checker :
Absint.IntraproceduralAnalysis.t
->
unit