Loc
type extended
val extend : Domain.location -> extended
val restrict : extended -> Domain.location
Frama-C Frama-C