Frama-C API - `Engine_abstractions_sig`

Signature of abstractions used in the Eva engine.

module type Context = Abstract.Context.External

Signature of the context abstractions used in the engine.

module type Value = sig ... end

Signature of the value abstractions used in the engine, with the reduction function of the reduced product.

module type Location = Abstract.Location.External

Signature of abstract location used in the engine.

module type Domain = sig ... end

Signature of the abstract domain used in the engine.

module type S = sig ... end

Frama-C API - Engine_abstractions_sig