package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
val pp_option : 'a Pretty_utils.formatter -> 'a option Pretty_utils.formatter
val pp_ref : (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a Stdlib.ref -> unit
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
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
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
val pp_integer : Stdlib.Format.formatter -> Integer.t -> unit
val pp_int64 : Stdlib.Format.formatter -> int64 -> unit
val pp_string : Stdlib.Format.formatter -> string -> unit
val pp_bool : Stdlib.Format.formatter -> bool -> unit
val pp_int : Stdlib.Format.formatter -> int -> unit
val pp_char : Stdlib.Format.formatter -> char -> unit
val pp_float : Stdlib.Format.formatter -> float -> unit
val pp_allocation : Stdlib.Format.formatter -> Cil_types.allocation -> unit
val pp_deps : Stdlib.Format.formatter -> Cil_types.deps -> unit
val pp_assigns : Stdlib.Format.formatter -> Cil_types.assigns -> unit
val pp_file : Stdlib.Format.formatter -> Cil_types.file -> unit
val pp_global : Stdlib.Format.formatter -> Cil_types.global -> unit
val pp_ikind : Stdlib.Format.formatter -> Cil_types.ikind -> unit
val pp_fkind : Stdlib.Format.formatter -> Cil_types.fkind -> unit
val pp_attributes : Stdlib.Format.formatter -> Cil_types.attributes -> unit
val pp_compinfo : Stdlib.Format.formatter -> Cil_types.compinfo -> unit
val pp_fieldinfo : Stdlib.Format.formatter -> Cil_types.fieldinfo -> unit
val pp_enuminfo : Stdlib.Format.formatter -> Cil_types.enuminfo -> unit
val pp_enumitem : Stdlib.Format.formatter -> Cil_types.enumitem -> unit
val pp_typeinfo : Stdlib.Format.formatter -> Cil_types.typeinfo -> unit
val pp_storage : Stdlib.Format.formatter -> Cil_types.storage -> unit
val pp_exp_node : Stdlib.Format.formatter -> Cil_types.exp_node -> unit
val pp_constant : Stdlib.Format.formatter -> Cil_types.constant -> unit
val pp_unop : Stdlib.Format.formatter -> Cil_types.unop -> unit
val pp_binop : Stdlib.Format.formatter -> Cil_types.binop -> unit
val pp_initinfo : Stdlib.Format.formatter -> Cil_types.initinfo -> unit
val pp_fundec : Stdlib.Format.formatter -> Cil_types.fundec -> unit
val pp_label : Stdlib.Format.formatter -> Cil_types.label -> unit
val pp_stmtkind : Stdlib.Format.formatter -> Cil_types.stmtkind -> unit
val pp_filepath_position : Stdlib.Format.formatter -> Filepath.position -> unit
val pp_lexing_position : Stdlib.Format.formatter -> Stdlib.Lexing.position -> unit
val pp_location : Stdlib.Format.formatter -> Cil_types.location -> unit
val pp_logic_constant : Stdlib.Format.formatter -> Cil_types.logic_constant -> unit
val pp_logic_real : Stdlib.Format.formatter -> Cil_types.logic_real -> unit
val pp_term_node : Stdlib.Format.formatter -> Cil_types.term_node -> unit
val pp_term_lval : Stdlib.Format.formatter -> Cil_types.term_lval -> unit
val pp_model_info : Stdlib.Format.formatter -> Cil_types.model_info -> unit
val pp_logic_info : Stdlib.Format.formatter -> Cil_types.logic_info -> unit
val pp_builtin_logic_info : Stdlib.Format.formatter -> Cil_types.builtin_logic_info -> unit
val pp_logic_body : Stdlib.Format.formatter -> Cil_types.logic_body -> unit
val pp_logic_type_info : Stdlib.Format.formatter -> Cil_types.logic_type_info -> unit
val pp_logic_type_def : Stdlib.Format.formatter -> Cil_types.logic_type_def -> unit
val pp_logic_var_kind : Stdlib.Format.formatter -> Cil_types.logic_var_kind -> unit
val pp_quantifiers : Stdlib.Format.formatter -> Cil_types.quantifiers -> unit
val pp_relation : Stdlib.Format.formatter -> Cil_types.relation -> unit
val pp_predicate_node : Stdlib.Format.formatter -> Cil_types.predicate_node -> unit
val pp_identified_predicate : Stdlib.Format.formatter -> Cil_types.identified_predicate -> unit
val pp_toplevel_predicate : Stdlib.Format.formatter -> Cil_types.toplevel_predicate -> unit
val pp_spec : Stdlib.Format.formatter -> Cil_types.spec -> unit
val pp_acsl_extension : Stdlib.Format.formatter -> Cil_types.acsl_extension -> unit
val pp_acsl_extension_kind : Stdlib.Format.formatter -> Cil_types.acsl_extension_kind -> unit
val pp_behavior : Stdlib.Format.formatter -> Cil_types.behavior -> unit
val pp_termination_kind : Stdlib.Format.formatter -> Cil_types.termination_kind -> unit
val pp_loop_pragma : Stdlib.Format.formatter -> Cil_types.loop_pragma -> unit
val pp_slice_pragma : Stdlib.Format.formatter -> Cil_types.slice_pragma -> unit
val pp_impact_pragma : Stdlib.Format.formatter -> Cil_types.impact_pragma -> unit
val pp_pragma : Stdlib.Format.formatter -> Cil_types.pragma -> unit
val pp_code_annotation_node : Stdlib.Format.formatter -> Cil_types.code_annotation_node -> unit
val pp_funspec : Stdlib.Format.formatter -> Cil_types.funspec -> unit
val pp_funbehavior : Stdlib.Format.formatter -> Cil_types.funbehavior -> unit
val pp_kinstr : Stdlib.Format.formatter -> Cil_types.kinstr -> unit
val pp_cil_function : Stdlib.Format.formatter -> Cil_types.cil_function -> unit
val pp_kernel_function : Stdlib.Format.formatter -> Cil_types.kernel_function -> unit
val pp_syntactic_scope : Stdlib.Format.formatter -> Cil_types.syntactic_scope -> unit
val pp_mach : Stdlib.Format.formatter -> Cil_types.mach -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events Blog Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct