_
type 'a interior = 'a Interior.t
and 'a exterior = 'a Exterior.t
val swap : 'a exterior interior -> 'a interior exterior
Frama-C Frama-C