module Transfer_stmt: sig
.. end
val current_kf_inout : unit -> Inout_type.t option
module type S = sig
.. end
module Make: functor (
Value
:
Abstract_value.External
) ->
functor (
Location
:
Abstract_location.External
) ->
functor (
Domain
:
Abstract_domain.External
with type value = Value.t
and type location = Location.location
) ->
functor (
Eva
:
Evaluation.S
with type state = Domain.state
and type value = Domain.value
and type loc = Domain.location
and type origin = Domain.origin
) ->
S
with type state = Domain.state
and type value = Domain.value
and type location = Domain.location