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