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