Frama-C API - Initialization
Creation of the initial state of abstract domain.
module type Engine_Subset = sig ... endSubset of Engine_sig.S required for this functor.
module Make (Engine : Engine_Subset) : Engine_sig.Initialization with type state = Engine.Dom.t