Alias
val use : alias -> alias
val merge : alias -> alias -> alias
val alias : alias -> alias -> alias
val is_aliased : alias -> bool
val pretty : alias Frama_c_kernel.Pretty_utils.formatter
Frama-C