module Initialization:sig
..end
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