Functor
Functor domain which can be built over any value abstractions, but with fixed locations dependencies.
type location
val location_dependencies : location Abstract_location.dependencies
module Make (C : Context) (V : Value with type context = C.t) : sig ... end
Frama-C