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 location = Abstract.Loc.location