module Dominators: sig .. end
sig
end
val get_idom : Cil_types.stmt -> Cil_types.stmt option
Cil_types.stmt -> Cil_types.stmt option
val dominates : Cil_types.stmt -> Cil_types.stmt -> bool
Cil_types.stmt -> Cil_types.stmt -> bool
dominates a b
a
b