Module Initialization

module Initialization: sig .. end
Creation of the initial state of abstract domain.

module type S = sig .. end
module Make: 
functor (Domain : Abstract.Domain.External-> 
functor (Eva : Evaluation.S with type state = Domain.state and type loc = Domain.location-> 
functor (Transfer : Transfer_stmt.S with type state = Domain.t-> S with type state := Domain.t