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