E (frama-c-wp.Wp.Lang.E)

val (!@) : 'a extern -> 'a

val (@=) : 'a extern -> 'a -> bool