D
type t
val join : t -> t -> t
val widen : t -> t -> t widening
val transfer : edge -> t -> t option
Frama-C