Datalog.Factgen
val emit_facts : Absint.IntraproceduralAnalysis.t -> unit
Generates datalog facts for a given procedure description.