Cil_types_debug (frama-c.Frama_c_kernel.Cil_types

val pp_list : 'a Pretty_utils.formatter -> 'a list Pretty_utils.formatter

deprecated Use standard printers instead.

val pp_option : 'a Pretty_utils.formatter -> 'a option Pretty_utils.formatter

deprecated Use standard printers instead.

val pp_ref : 
  (Stdlib.Format.formatter -> 'a -> unit) ->
  Stdlib.Format.formatter ->
  'a Stdlib.ref ->
  unit

deprecated Use standard printers instead.

val pp_pair : 
  'a Pretty_utils.formatter ->
  'b Pretty_utils.formatter ->
  ('a * 'b) Pretty_utils.formatter

deprecated Use standard printers instead.

val pp_tuple3 : 
  ?pre:('a, 'b, 'c, 'd, 'd, 'a) Stdlib.format6 ->
  ?sep:('e, 'f, 'g, 'h, 'h, 'e) Stdlib.format6 ->
  ?suf:('i, 'j, 'k, 'l, 'l, 'i) Stdlib.format6 ->
  (Stdlib.Format.formatter -> 'm -> unit) ->
  (Stdlib.Format.formatter -> 'n -> unit) ->
  (Stdlib.Format.formatter -> 'o -> unit) ->
  Stdlib.Format.formatter ->
  ('m * 'n * 'o) ->
  unit

deprecated Use standard printers instead.

val pp_tuple4 : 
  ?pre:('a, 'b, 'c, 'd, 'd, 'a) Stdlib.format6 ->
  ?sep:('e, 'f, 'g, 'h, 'h, 'e) Stdlib.format6 ->
  ?suf:('i, 'j, 'k, 'l, 'l, 'i) Stdlib.format6 ->
  (Stdlib.Format.formatter -> 'm -> unit) ->
  (Stdlib.Format.formatter -> 'n -> unit) ->
  (Stdlib.Format.formatter -> 'o -> unit) ->
  (Stdlib.Format.formatter -> 'p -> unit) ->
  Stdlib.Format.formatter ->
  ('m * 'n * 'o * 'p) ->
  unit

deprecated Use standard printers instead.

val pp_tuple5 : 
  ?pre:('a, 'b, 'c, 'd, 'd, 'a) Stdlib.format6 ->
  ?sep:('e, 'f, 'g, 'h, 'h, 'e) Stdlib.format6 ->
  ?suf:('i, 'j, 'k, 'l, 'l, 'i) Stdlib.format6 ->
  (Stdlib.Format.formatter -> 'm -> unit) ->
  (Stdlib.Format.formatter -> 'n -> unit) ->
  (Stdlib.Format.formatter -> 'o -> unit) ->
  (Stdlib.Format.formatter -> 'p -> unit) ->
  (Stdlib.Format.formatter -> 'q -> unit) ->
  Stdlib.Format.formatter ->
  ('m * 'n * 'o * 'p * 'q) ->
  unit

deprecated Use standard printers instead.

val pp_integer : Stdlib.Format.formatter -> Z.t -> unit

deprecated Use Z.pp instead.

val pp_int64 : Stdlib.Format.formatter -> int64 -> unit

deprecated Use Int64.to_string and print as string instead.

val pp_string : Stdlib.Format.formatter -> string -> unit

deprecated Use Format.pp_print_string instead.

val pp_bool : Stdlib.Format.formatter -> bool -> unit

deprecated Use Format.pp_print_bool instead.

val pp_int : Stdlib.Format.formatter -> int -> unit

deprecated Use Format.pp_print_int instead.

val pp_char : Stdlib.Format.formatter -> char -> unit

deprecated Use Format.pp_print_char instead.

val pp_float : Stdlib.Format.formatter -> float -> unit

deprecated Use Format.pp_print_float instead.

val pp_variant : Cil_types.variant Pretty_utils.formatter

deprecated Use Cil_types.pp_variant instead.

val pp_allocation : Stdlib.Format.formatter -> Cil_types.allocation -> unit

deprecated Use Cil_types.pp_allocation instead.

val pp_deps : Stdlib.Format.formatter -> Cil_types.deps -> unit

deprecated Use Cil_types.pp_deps instead.

val pp_from : 
  (Cil_types.identified_term * Cil_types.deps) Pretty_utils.formatter

deprecated Use Cil_types.pp_from instead.

val pp_assigns : Stdlib.Format.formatter -> Cil_types.assigns -> unit

deprecated Use Cil_types.pp_assigns instead.

val pp_file : Stdlib.Format.formatter -> Cil_types.file -> unit

deprecated Use Cil_types.pp_file instead.

val pp_global : Stdlib.Format.formatter -> Cil_types.global -> unit

deprecated Use Cil_types.pp_global instead.

val pp_typ_node : Cil_types.typ_node Pretty_utils.formatter

deprecated Use Cil_types.pp_typ_node instead.

val pp_typ : Cil_types.typ Pretty_utils.formatter

deprecated Use Cil_types.pp_typ instead.

val pp_ikind : Stdlib.Format.formatter -> Cil_types.ikind -> unit

deprecated Use Cil_types.pp_ikind instead.

val pp_fkind : Stdlib.Format.formatter -> Cil_types.fkind -> unit

deprecated Use Cil_types.pp_fkind instead.

val pp_attribute : Cil_types.attribute Pretty_utils.formatter

deprecated Use Cil_types.pp_attribute instead.

val pp_attributes : Stdlib.Format.formatter -> Cil_types.attributes -> unit

deprecated Use Cil_types.pp_attributes instead.

val pp_attrparam : Cil_types.attrparam Pretty_utils.formatter

deprecated Use Cil_types.pp_attrparam instead.

val pp_compinfo : Stdlib.Format.formatter -> Cil_types.compinfo -> unit

deprecated Use Cil_types.pp_compinfo instead.

val pp_fieldinfo : Stdlib.Format.formatter -> Cil_types.fieldinfo -> unit

deprecated Use Cil_types.pp_fieldinfo instead.

val pp_enuminfo : Stdlib.Format.formatter -> Cil_types.enuminfo -> unit

deprecated Use Cil_types.pp_enuminfo instead.

val pp_enumitem : Stdlib.Format.formatter -> Cil_types.enumitem -> unit

deprecated Use Cil_types.pp_enumitem instead.

val pp_typeinfo : Stdlib.Format.formatter -> Cil_types.typeinfo -> unit

deprecated Use Cil_types.pp_typeinfo instead.

val pp_varinfo : Cil_types.varinfo Pretty_utils.formatter

deprecated Use Cil_types.pp_varinfo instead.

val pp_storage : Stdlib.Format.formatter -> Cil_types.storage -> unit

deprecated Use Cil_types.pp_storage instead.

val pp_exp : Cil_types.exp Pretty_utils.formatter

deprecated Use Cil_types.pp_exp instead.

val pp_exp_node : Stdlib.Format.formatter -> Cil_types.exp_node -> unit

deprecated Use Cil_types.pp_exp_node instead.

val pp_constant : Stdlib.Format.formatter -> Cil_types.constant -> unit

deprecated Use Cil_types.pp_constant instead.

val pp_unop : Stdlib.Format.formatter -> Cil_types.unop -> unit

deprecated Use Cil_types.pp_unop instead.

val pp_binop : Stdlib.Format.formatter -> Cil_types.binop -> unit

deprecated Use Cil_types.pp_binop instead.

val pp_lval : Cil_types.lval Pretty_utils.formatter

deprecated Use Cil_types.pp_lval instead.

val pp_lhost : Cil_types.lhost Pretty_utils.formatter

deprecated Use Cil_types.pp_lhost instead.

val pp_offset : Cil_types.offset Pretty_utils.formatter

deprecated Use Cil_types.pp_offset instead.

val pp_init : Cil_types.init Pretty_utils.formatter

deprecated Use Cil_types.pp_init instead.

val pp_initinfo : Stdlib.Format.formatter -> Cil_types.initinfo -> unit

deprecated Use Cil_types.pp_initinfo instead.

val pp_fundec : Stdlib.Format.formatter -> Cil_types.fundec -> unit

deprecated Use Cil_types.pp_fundec instead.

val pp_block : Cil_types.block Pretty_utils.formatter

deprecated Use Cil_types.pp_block instead.

val pp_stmt : Cil_types.stmt Pretty_utils.formatter

deprecated Use Cil_types.pp_stmt instead.

val pp_label : Stdlib.Format.formatter -> Cil_types.label -> unit

deprecated Use Cil_types.pp_label instead.

val pp_stmtkind : Stdlib.Format.formatter -> Cil_types.stmtkind -> unit

deprecated Use Cil_types.pp_stmtkind instead.

val pp_catch_binder : Cil_types.catch_binder Pretty_utils.formatter

deprecated Use Cil_types.pp_catch_binder instead.

val pp_instr : Cil_types.instr Pretty_utils.formatter

deprecated Use Cil_types.pp_instr instead.

val pp_extended_asm : Cil_types.extended_asm Pretty_utils.formatter

deprecated Use Cil_types.pp_extended_asm instead.

val pp_filepath_position : Stdlib.Format.formatter -> Filepos.t -> unit

deprecated Use Filepath.pp instead.

val pp_lexing_position : 
  Stdlib.Format.formatter ->
  Stdlib.Lexing.position ->
  unit

deprecated Use standard printers instead.

val pp_location : Stdlib.Format.formatter -> Cil_types.location -> unit

deprecated Use Cil_types.pp_location instead.

val pp_logic_constant : 
  Stdlib.Format.formatter ->
  Cil_types.logic_constant ->
  unit

deprecated Use Cil_types.pp_logic_constant instead.

val pp_logic_real : Stdlib.Format.formatter -> Cil_types.logic_real -> unit

deprecated Use Cil_types.pp_logic_real instead.

val pp_logic_type : Cil_types.logic_type Pretty_utils.formatter

deprecated Use Cil_types.pp_logic_type instead.

val pp_identified_term : Cil_types.identified_term Pretty_utils.formatter

deprecated Use Cil_types.pp_identified_term instead.

val pp_logic_label : Cil_types.logic_label Pretty_utils.formatter

deprecated Use Cil_types.pp_logic_label instead.

val pp_logic_builtin_label : 
  Cil_types.logic_builtin_label Pretty_utils.formatter

deprecated Use Cil_types.pp_logic_builtin_label instead.

val pp_term : Cil_types.term Pretty_utils.formatter

deprecated Use Cil_types.pp_term instead.

val pp_term_node : Stdlib.Format.formatter -> Cil_types.term_node -> unit

deprecated Use Cil_types.pp_term_node instead.

val pp_term_lval : Stdlib.Format.formatter -> Cil_types.term_lval -> unit

deprecated Use Cil_types.pp_term_lval instead.

val pp_term_lhost : Cil_types.term_lhost Pretty_utils.formatter

deprecated Use Cil_types.pp_term_lhost instead.

val pp_model_info : Stdlib.Format.formatter -> Cil_types.model_info -> unit

deprecated Use Cil_types.pp_model_info instead.

val pp_term_offset : Cil_types.term_offset Pretty_utils.formatter

deprecated Use Cil_types.pp_term_offset instead.

val pp_logic_info : Stdlib.Format.formatter -> Cil_types.logic_info -> unit

deprecated Use Cil_types.pp_logic_info instead.

val pp_builtin_logic_info : 
  Stdlib.Format.formatter ->
  Cil_types.builtin_logic_info ->
  unit

deprecated Use Cil_types.pp_builtin_logic_info instead.

val pp_logic_body : Stdlib.Format.formatter -> Cil_types.logic_body -> unit

deprecated Use Cil_types.pp_logic_body instead.

val pp_logic_type_info : 
  Stdlib.Format.formatter ->
  Cil_types.logic_type_info ->
  unit

deprecated Use Cil_types.pp_logic_type_info instead.

val pp_logic_type_def : 
  Stdlib.Format.formatter ->
  Cil_types.logic_type_def ->
  unit

deprecated Use Cil_types.pp_logic_type_def instead.

val pp_logic_var_kind : 
  Stdlib.Format.formatter ->
  Cil_types.logic_var_kind ->
  unit

deprecated Use Cil_types.pp_logic_var_kind instead.

val pp_logic_var : Cil_types.logic_var Pretty_utils.formatter

deprecated Use Cil_types.pp_logic_var instead.

val pp_logic_ctor_info : Cil_types.logic_ctor_info Pretty_utils.formatter

deprecated Use Cil_types.pp_logic_ctor_info instead.

val pp_quantifiers : Stdlib.Format.formatter -> Cil_types.quantifiers -> unit

deprecated Use Cil_types.pp_quantifiers instead.

val pp_relation : Stdlib.Format.formatter -> Cil_types.relation -> unit

deprecated Use Cil_types.pp_relation instead.

val pp_predicate_node : 
  Stdlib.Format.formatter ->
  Cil_types.predicate_node ->
  unit

deprecated Use Cil_types.pp_predicate_node instead.

val pp_identified_predicate : 
  Stdlib.Format.formatter ->
  Cil_types.identified_predicate ->
  unit

deprecated Use Cil_types.pp_identified_predicate instead.

val pp_toplevel_predicate : 
  Stdlib.Format.formatter ->
  Cil_types.toplevel_predicate ->
  unit

deprecated Use Cil_types.pp_toplevel_predicate instead.

val pp_predicate : Cil_types.predicate Pretty_utils.formatter

deprecated Use Cil_types.pp_predicate instead.

val pp_spec : Stdlib.Format.formatter -> Cil_types.spec -> unit

deprecated Use Cil_types.pp_spec instead.

val pp_acsl_extension : 
  Stdlib.Format.formatter ->
  Cil_types.acsl_extension ->
  unit

deprecated Use Cil_types.pp_acsl_extension instead.

val pp_acsl_extension_kind : 
  Stdlib.Format.formatter ->
  Cil_types.acsl_extension_kind ->
  unit

deprecated Use Cil_types.pp_acsl_extension_kind instead.

val pp_behavior : Stdlib.Format.formatter -> Cil_types.behavior -> unit

deprecated Use Cil_types.pp_behavior instead.

val pp_termination_kind : 
  Stdlib.Format.formatter ->
  Cil_types.termination_kind ->
  unit

deprecated Use Cil_types.pp_termination_kind instead.

val pp_code_annotation_node : 
  Stdlib.Format.formatter ->
  Cil_types.code_annotation_node ->
  unit

deprecated Use Cil_types.pp_code_annotation_node instead.

val pp_funspec : Stdlib.Format.formatter -> Cil_types.funspec -> unit

deprecated Use Cil_types.pp_funspec instead.

val pp_code_annotation : Cil_types.code_annotation Pretty_utils.formatter

deprecated Use Cil_types.pp_code_annotation instead.

val pp_funbehavior : Stdlib.Format.formatter -> Cil_types.funbehavior -> unit

deprecated Use Cil_types.pp_funbehavior instead.

val pp_global_annotation : Cil_types.global_annotation Pretty_utils.formatter

deprecated Use Cil_types.pp_global_annotation instead.

val pp_kinstr : Stdlib.Format.formatter -> Cil_types.kinstr -> unit

deprecated Use Cil_types.pp_kinstr instead.

val pp_cil_function : Stdlib.Format.formatter -> Cil_types.cil_function -> unit

deprecated Use Cil_types.pp_cil_function instead.

val pp_kernel_function : 
  Stdlib.Format.formatter ->
  Cil_types.kernel_function ->
  unit

deprecated Use Cil_types.pp_kernel_function instead.

val pp_syntactic_scope : 
  Stdlib.Format.formatter ->
  Cil_types.syntactic_scope ->
  unit

deprecated Use Cil_types.pp_syntactic_scope instead.