Module Frama_c_kernel.Lexerhack
val add_identifier : ( string -> unit ) Stdlib.refval add_type : ( string -> unit ) Stdlib.refval push_context : ( unit -> unit ) Stdlib.refval pop_context : ( unit -> unit ) Stdlib.refval is_typedef : ( unit -> bool ) Stdlib.refval reset_typedef : ( unit -> unit ) Stdlib.refval set_typedef : ( unit -> unit ) Stdlib.ref