Conversion
type extended
type internal
val extend : internal -> extended
val replace : internal -> extended -> extended
val restrict : extended -> internal
Frama-C