module Value: sig .. end
sig
end
Analysis for values and pointers
No function is directly exported: they are registered in Db.Value.
Db.Value
module Value_results: sig .. end