Internal
Internal view of the tree, with the structure.
type t
type 'a structure
val structure : t structure
Frama-C