module Ctt_to_ptree: sig end
val is_printable : char -> bool
val encode_c_string : string -> string
val get_type_qualifiers : Ctt_abstree.c_type -> C_types.type_qualifier list
val get_type_qualifiers_speclist : Ctt_abstree.c_type -> C_abstree.declaration_specifier list
val dummy_loc : string * int
val make_expr : C_abstree.expr_desc -> orig:Ctt_abstree.expr -> C_abstree.expr
val make_expr_l : C_abstree.expr_desc -> loc:C_abstree.location -> C_abstree.expr
val constant_exp_of_big_int : loc:C_abstree.location -> Big_int.big_int -> C_abstree.expr
val constant_exp_of_int : loc:C_abstree.location -> int -> C_abstree.expr
val builtin_to_typespec : C_types.builtin_type -> C_abstree.declaration_specifier list
val void_spectreelist : C_abstree.declaration_specifier list
val find_struct_name : env:Ctt_abstree.environment ->
Ctt_abstree.struct_id -> Ctt_abstree.identifier
val is_union : env:Ctt_abstree.environment ->
Ctt_abstree.struct_id -> Ctt_abstree.union_flag
val convert_declarator_iter : env:Ctt_abstree.environment ->
Ctt_abstree.c_type ->
?argnames:C_abstree.identifier list ->
C_abstree.abstract_declarator ->
C_abstree.declaration_specifier list * C_abstree.abstract_declarator
val convert_declarator : env:Ctt_abstree.environment ->
Ctt_abstree.c_type ->
?argnames:C_abstree.identifier list ->
C_abstree.identifier ->
C_abstree.declaration_specifier list * C_abstree.abstract_declarator
val convert_declarator_anonymous : env:Ctt_abstree.environment ->
Ctt_abstree.c_type ->
C_abstree.declaration_specifier list * C_abstree.abstract_declarator
val convert_constant : Ctt_abstree.c_constants -> C_abstree.c_constants
val const_expr_of_big_int : Big_int.big_int -> loc:C_abstree.location -> C_abstree.expr
val convert_binop : Ctt_abstree.binop -> C_abstree.binop
val convert_expr : env:Ctt_abstree.environment -> Ctt_abstree.expr -> C_abstree.expr
val convert_initializer : env:Ctt_abstree.environment ->
Ctt_abstree.ctt_initializer -> C_abstree.c_initializer
val make_decl : C_abstree.declaration_desc -> C_abstree.declaration
val make_stmt : C_abstree.statement_desc -> orig:Ctt_abstree.statement -> C_abstree.statement
val convert_local_storage_class : Ctt_abstree.local_storage_class -> C_abstree.declaration_specifier list
val convert_statement : env:Ctt_abstree.environment -> Ctt_abstree.statement -> C_abstree.statement
val convert_global_storage_class : Ctt_abstree.global_storage_class -> C_abstree.declaration_specifier list
val convert_global_declaration : env:Ctt_abstree.environment ->
Ctt_abstree.global_declaration -> C_abstree.declaration
val convert_struct_field : env:Ctt_abstree.environment ->
'a * Ctt_abstree.struct_field -> C_abstree.struct_declaration list
val make_struct_declarations : env:Ctt_abstree.environment ->
('a * Ctt_abstree.struct_field) list -> C_abstree.struct_declaration list
val convert_struct_declaration : env:Ctt_abstree.environment ->
Ctt_abstree.struct_id * Ctt_abstree.struct_desc Pervasives.ref ->
C_abstree.declaration
val convert_program : env:Ctt_abstree.environment -> Ctt_abstree.program -> C_abstree.program