module Separate: sig .. end
sig
end
val prologue : unit -> unit
unit -> unit
val filter_if : Cil_types.stmt -> 'a Dataflow2.guardaction * 'b Dataflow2.guardaction -> 'a Dataflow2.guardaction * 'b Dataflow2.guardaction
Cil_types.stmt -> 'a Dataflow2.guardaction * 'b Dataflow2.guardaction -> 'a Dataflow2.guardaction * 'b Dataflow2.guardaction
val epilogue : unit -> unit