Convert
type extended
val extend : Loc.value -> extended
val replace : Loc.value -> extended -> extended
val restrict : extended -> Loc.value
Frama-C