D
type t
val join : t -> t -> t
val widen : t -> t -> t widening
val transfer : (vertex * edge * vertex) -> t -> t option
Frama-C