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