sig
val compute : (Cil_types.kernel_function -> unit) Stdlib.ref
val stmt_postdominators :
(Cil_types.kernel_function ->
Cil_types.stmt -> Cil_datatype.Stmt.Hptset.t)
Stdlib.ref
val is_postdominator :
(Cil_types.kernel_function ->
opening:Cil_types.stmt -> closing:Cil_types.stmt -> bool)
Stdlib.ref
val display : (unit -> unit) Stdlib.ref
val print_dot : (string -> Cil_types.kernel_function -> unit) Stdlib.ref
end