module Transfer_stmt: sig
.. end
val current_kf_inout : unit -> Inout_type.t option
module type S = sig
.. end
module type Domain = sig
.. end
module Make: functor (
Value
:
Abstract_value.S
) ->
functor (
Location
:
Abstract_location.External
) ->
functor (
Domain
:
Domain
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 Valuation.t = Domain.valuation
) ->
S
with type state = Domain.state
and type value = Domain.value
and type return = Domain.return