module Ctt_reduce_mdarray: sig end
val convert_type : Ctt_abstree.c_type -> Ctt_abstree.c_type
val calculate_magnitude : Ctt_abstree.c_type -> orig:Ctt_abstree.expr -> Ctt_abstree.expr option
val reduce_expr : Ctt_abstree.expr -> Ctt_abstree.expr
val reduce_initializer : env:Ctt_abstree.environment ->
typ:Ctt_abstree.c_type ->
Ctt_abstree.ctt_initializer -> Ctt_abstree.ctt_initializer
val reduce_struct_initializations : env:Ctt_abstree.environment ->
Ctt_abstree.struct_id ->
Ctt_abstree.ctt_initializer list -> Ctt_abstree.ctt_initializer list
val reduce_ldecl : env:Ctt_abstree.environment ->
'a * Ctt_abstree.c_type * 'b * Ctt_abstree.ctt_initializer option ->
'a * Ctt_abstree.c_type * 'b * Ctt_abstree.ctt_initializer option
val reduce_statement : env:Ctt_abstree.environment -> Ctt_abstree.statement -> Ctt_abstree.statement
val reduce_gdecl : env:Ctt_abstree.environment ->
Ctt_abstree.global_declaration_desc -> Ctt_abstree.global_declaration_desc
val reduce_variable_type : Ctt_abstree.variableType -> Ctt_abstree.variableType
val reduce_struct_field : Ctt_abstree.struct_field -> Ctt_abstree.struct_field
val reduce_struct_desc : Ctt_abstree.struct_desc -> Ctt_abstree.struct_desc
val reduce_environment : Ctt_abstree.environment -> Ctt_abstree.environment
val reduce_program : env:Ctt_abstree.environment ->
Ctt_abstree.global_declaration_desc list ->
Ctt_abstree.environment * Ctt_abstree.global_declaration_desc list