Functor Initialization.Make

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
Parameters:
Value : Abstract_value.S
Loc : Abstract_location.S with type value = Value.t
Domain : Abstract_domain.External with type value = Value.t and type location = Loc.location
Eva : Evaluation.S with type state = Domain.state and type value = Domain.value and type origin = Domain.origin and type loc = Domain.location

type state 
val initial_state : unit -> state Bottom.Type.or_bottom
val initial_state_with_formals : Cil_types.kernel_function -> state Bottom.Type.or_bottom