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