Previous
Up
Next
Module
Dummy
module
Dummy:
sig
..
end
A dummy abstract domain. You can start from this file and dummy.ml to write your own non relational abstract domain.
include
NonRelational.Domain