Root
val pretty : root Frama_c_kernel.Pretty_utils.formatter
val from : root:('a -> root) -> 'a from -> root
val merge : root -> root -> root
val indexed : root -> bool
val framed : root -> bool
Frama-C