functor (T : ForwardsTransfer->
  sig
    val reachedStatement : Cil_types.stmt -> Cil_types.stmt -> T.t -> unit
    val compute : Cil_types.stmt list -> unit
    val worklist : Cil_types.stmt Queue.t
  end