module Expunge_localstatic: sig end
val id : 'a -> 'a
val reduce_ldecls : acc:('a * 'b * 'c) list Pervasives.ref ->
(Ctt_abstree.local_storage_class * 'a * 'b * 'c) list ->
(Ctt_abstree.local_storage_class * 'a * 'b * 'c) list
val reduce_stmt : acc:(Ctt_abstree.c_type * Ctt_abstree.identifier *
Ctt_abstree.ctt_initializer option)
list Pervasives.ref ->
Ctt_abstree.statement -> Ctt_abstree.statement
val reduce_gdecl : env:Ctt_abstree.environment ->
Ctt_abstree.global_declaration_desc ->
Ctt_abstree.global_declaration_desc list
val reduce_program : env:Ctt_abstree.environment ->
Ctt_abstree.global_declaration_desc list ->
Ctt_abstree.global_declaration_desc list