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