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