module type MakePostDomArg = sig .. end
sig
end
val is_accessible : Cil_types.stmt -> bool
Cil_types.stmt -> bool
val eval_cond : Cil_types.stmt -> Cil_types.exp -> bool * bool
Cil_types.stmt -> Cil_types.exp -> bool * bool
val dependencies : State.t list
State.t list
val name : string
string