functor
(
T
:
BackwardsTransfer
)
->
sig
val
compute :
Cil
.stmt list
->
unit
end