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