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