functor (Fenv : FUNCTION_ENV->
  functor (P : FORWARD_MONOTONE_PARAMETER->
    sig
      val before : P.t Ordered_stmt.ordered_stmt_array
      val fold_on_result : ('-> Cil_types.stmt -> P.t -> 'a) -> '-> 'a
      val iter_on_result : (Cil_types.stmt -> P.t -> unit) -> unit
    end