Module Value

module Value: sig .. end
Analysis for values and pointers


No function is directly exported: they are registered in Db.Value.