Module Transfer_stmt

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 (Init : Initialization.S with type state := Domain.state-> 
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