sig
val get_lang : (unit -> Flx_cil_cabs.lang_t) Pervasives.ref
val add_identifier : (string -> unit) Pervasives.ref
val add_type : (string -> unit) Pervasives.ref
val push_context : (unit -> unit) Pervasives.ref
val pop_context : (unit -> unit) Pervasives.ref
val push_class : (string -> unit) Pervasives.ref
val pop_class : (unit -> unit) Pervasives.ref
val currentPattern : string Pervasives.ref
end