Module Transfer_stmt

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