Module Frama_c_kernel.Lexerhack

val add_identifier : ( string -> unit ) Stdlib.ref
val add_type : ( string -> unit ) Stdlib.ref
val push_context : ( unit -> unit ) Stdlib.ref
val pop_context : ( unit -> unit ) Stdlib.ref