Module Initialization

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

Padding value. The exact contents (bottom | zero | top_int), initialized or not, is determined from lib_entry and option -val-initialization-padding-globals


module type S = sig .. end
module Make: 
functor (Value : Abstract_value.S-> 
functor (Loc : Abstract_location.S with type value = Value.t-> 
functor (Domain : Abstract_domain.External with type value = Value.t and type location = Loc.location-> 
functor (Eva : Evaluation.S with type state = Domain.state and type value = Domain.value and type origin = Domain.origin and type loc = Domain.location-> S with type state := Domain.t