module Transfer_stmt:sig
..end
val current_kf_inout : unit -> Inout_type.t option
module type S =sig
..end
module Make:functor (
Abstract
:
Abstractions.Eva
) ->
S
with type state = Abstract.Dom.t and type value = Abstract.Val.t and type loc = Abstract.Loc.location