sig
  val type2string : Types.type_c -> string
  val arith_expr_needs_parenthesis : Types.arith_expr -> bool
  val arith_expr2string : Types.arith_expr -> string
  val bool_expr2string : Types.bool_expr -> string
  val loc2string : Types.loc -> string
  val args2string : Types.arith_expr list -> string
  val reg2string : Types.reg32 -> string
  val ptrVar2string : Types.ptr_var -> string
  val asm_expr2string : Types.asm_expr -> string
  val stat_c2string : Types.stat_c -> string -> string
  val stat_a2string : Types.stat_a -> string -> string
  val stat_a_block2string :
    (Types.stat_a * Types.loc) list -> string -> string
  val block_c2string : Types.loc_stat_c -> string -> string
  val args_def2string : Types.arguments -> string
  val global_statement2string : Types.global_statement -> string
  val program2string : Types.program -> string
  val abstrD2string : Types.abstrD -> string
  val print_context :
    Types.abstrContext -> Types.abstrEnvironment Pervasives.ref -> unit
  val print_memoryStack : Types.memoryStack -> unit
  val print_environment : Types.abstrEnvironment Pervasives.ref -> unit
  val print_callStack : Types.callStack Pervasives.ref -> unit
end