Module Separate


module Separate: sig .. end

val mask : int Pervasives.ref
val prologue : unit -> unit
val filter_if : Cil_types.stmt ->
'a Dataflow.guardaction * 'b Dataflow.guardaction ->
'a Dataflow.guardaction * 'b Dataflow.guardaction
val epilogue : unit -> unit