Mt_cfg_types.Context
type t = context
val pretty : t Frama_c_kernel.Pretty_utils.formatter
val empty : t