Module Transfer_stmt

module Transfer_stmt: sig .. end
Applies the show_each or dump_each directives.

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