Semantics
module Legacy_symbolic : sig ... end
module Symbolic : sig ... end
module Concrete : sig ... end
module External = External.M
module SHeap : sig ... end
JSIL Symbolic Heap