Module Transfer_stmt

module Transfer_stmt: sig .. end

module type S = sig .. end
module Make: 
functor (Domain : Abstract_domain.Transfer) ->
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 and type summary = Domain.summary