Module Relations_type


module Relations_type: sig .. end
Internal state representation of the value analysis.

exception Use_Main_Memory
To be raised whenever we need to fall back to value analysis
module type Model_S = sig .. end
module Model: Model_S