Frama-C API - `Frama_c_kernel`

include module type of struct include Fclib end

module Ansi_escape = Fclib.Ansi_escape

module Array = Fclib.Array

module Async = Fclib.Async

module Bag = Fclib.Bag

module Binary_cache = Fclib.Binary_cache

module Bitvector = Fclib.Bitvector

module Box = Fclib.Box

module Channel = Fclib.Channel

module Command = Fclib.Command

module Composition = Fclib.Composition

module Compression = Fclib.Compression

module Datatype = Fclib.Datatype

module Descr = Fclib.Descr

module Dotgraph = Fclib.Dotgraph

module Escape = Fclib.Escape

module Extlib = Fclib.Extlib

module Field = Fclib.Field

module Fileloc = Fclib.Fileloc

module Filepath = Fclib.Filepath

module Filepos = Fclib.Filepos

module Filesystem = Fclib.Filesystem

module Finite = Fclib.Finite

module Floating_point = Fclib.Floating_point

module Fun = Fclib.Fun

module Hash = Fclib.Hash

module Hashtbl = Fclib.Hashtbl

module Hook = Fclib.Hook

module Hpath = Fclib.Hpath

module Hptmap = Fclib.Hptmap

module Hptmap_sig = Fclib.Hptmap_sig

module Hptset = Fclib.Hptset

module Identity = Fclib.Identity

module Int = Fclib.Int

module Integer = Fclib.Integer

module Json = Fclib.Json

module Linear = Fclib.Linear

module List = Fclib.List

module Log = Fclib.Log

module Lti_system = Fclib.Lti_system

module Map = Fclib.Map

module Markdown = Fclib.Markdown

module Monad = Fclib.Monad

module Nat = Fclib.Nat

module Option = Fclib.Option

module Parray = Fclib.Parray

module Pretty = Fclib.Pretty

module Pretty_utils = Fclib.Pretty_utils

module Project = Fclib.Project

module Project_skeleton = Fclib.Project_skeleton

module Qstack = Fclib.Qstack

module Rangemap = Fclib.Rangemap

module Rational = Fclib.Rational

module Result = Fclib.Result

module Rich_text = Fclib.Rich_text

module Sanitizer = Fclib.Sanitizer

module Set = Fclib.Set

module State = Fclib.State

module State_builder = Fclib.State_builder

module State_dependency_graph = Fclib.State_dependency_graph

module State_monad = Fclib.State_monad

module State_selection = Fclib.State_selection

module State_topological = Fclib.State_topological

module String = Fclib.String

module Structural_descr = Fclib.Structural_descr

module Task = Fclib.Task

module Test_pretty = Fclib.Test_pretty

module Type = Fclib.Type

module Typed_float = Fclib.Typed_float

module Unicode = Fclib.Unicode

module Unmarshal = Fclib.Unmarshal

module Unmarshal_z = Fclib.Unmarshal_z

module Utf8_logic = Fclib.Utf8_logic

module Vector = Fclib.Vector

module Wto = Fclib.Wto

module Z = Fclib.Z

include module type of struct include Frama_c_kernel_base end

module Abstract_interp = Frama_c_kernel_base.Abstract_interp

module Acsl_extension = Frama_c_kernel_base.Acsl_extension

module Addresses = Frama_c_kernel_base.Addresses

module Alarms = Frama_c_kernel_base.Alarms

module Allocates = Frama_c_kernel_base.Allocates

module Alpha = Frama_c_kernel_base.Alpha

module Annotations = Frama_c_kernel_base.Annotations

module Asm_contracts = Frama_c_kernel_base.Asm_contracts

module Ast = Frama_c_kernel_base.Ast

module Ast_attributes = Frama_c_kernel_base.Ast_attributes

module Ast_diff = Frama_c_kernel_base.Ast_diff

module Ast_info = Frama_c_kernel_base.Ast_info

module Ast_types = Frama_c_kernel_base.Ast_types

module Base = Frama_c_kernel_base.Base

module Bit_utils = Frama_c_kernel_base.Bit_utils

module Boot = Frama_c_kernel_base.Boot

module Builder = Frama_c_kernel_base.Builder

module Cabs = Frama_c_kernel_base.Cabs

module Cabs2cil = Frama_c_kernel_base.Cabs2cil

module Cabs_debug = Frama_c_kernel_base.Cabs_debug

module Cabshelper = Frama_c_kernel_base.Cabshelper

module Cabsvisit = Frama_c_kernel_base.Cabsvisit

module Cfg = Frama_c_kernel_base.Cfg

module Cil = Frama_c_kernel_base.Cil

module Cil_builder = Frama_c_kernel_base.Cil_builder

module Cil_builtins = Frama_c_kernel_base.Cil_builtins

module Cil_const = Frama_c_kernel_base.Cil_const

module Cil_datatype = Frama_c_kernel_base.Cil_datatype

module Cil_descriptive_printer = Frama_c_kernel_base.Cil_descriptive_printer

module Cil_printer = Frama_c_kernel_base.Cil_printer

module Cil_state_builder = Frama_c_kernel_base.Cil_state_builder

module Cil_types = Frama_c_kernel_base.Cil_types

module Cil_types_debug = Frama_c_kernel_base.Cil_types_debug

module Classify = Frama_c_kernel_base.Classify

module Clexer = Frama_c_kernel_base.Clexer

module Clone = Frama_c_kernel_base.Clone

module Cmdline = Frama_c_kernel_base.Cmdline

module Config_data = Frama_c_kernel_base.Config_data

module Contract_special_float = Frama_c_kernel_base.Contract_special_float

module Cparser = Frama_c_kernel_base.Cparser

module Cprint = Frama_c_kernel_base.Cprint

module Current_loc = Frama_c_kernel_base.Current_loc

module Cvalue = Frama_c_kernel_base.Cvalue

module Dataflow2 = Frama_c_kernel_base.Dataflow2

module Dataflows = Frama_c_kernel_base.Dataflows

module Demote_string_literal = Frama_c_kernel_base.Demote_string_literal

module Description = Frama_c_kernel_base.Description

module Destructors = Frama_c_kernel_base.Destructors

module Dominators = Frama_c_kernel_base.Dominators

module Dump_config = Frama_c_kernel_base.Dump_config

module Dynamic = Frama_c_kernel_base.Dynamic

module Dyncall = Frama_c_kernel_base.Dyncall

module Emitter = Frama_c_kernel_base.Emitter

module Environment = Frama_c_kernel_base.Environment

module Errorloc = Frama_c_kernel_base.Errorloc

module Eva_lattice_type = Frama_c_kernel_base.Eva_lattice_type

module Exn_flow = Frama_c_kernel_base.Exn_flow

module Extends = Frama_c_kernel_base.Extends

module Fc_float = Frama_c_kernel_base.Fc_float

module File = Frama_c_kernel_base.File

module Filecheck = Frama_c_kernel_base.Filecheck

module Filter = Frama_c_kernel_base.Filter

module Float_interval = Frama_c_kernel_base.Float_interval

module Float_interval_sig = Frama_c_kernel_base.Float_interval_sig

module Float_sig = Frama_c_kernel_base.Float_sig

module Format_parser = Frama_c_kernel_base.Format_parser

module Format_pprint = Frama_c_kernel_base.Format_pprint

module Format_string = Frama_c_kernel_base.Format_string

module Format_typer = Frama_c_kernel_base.Format_typer

module Format_types = Frama_c_kernel_base.Format_types

module Frontc = Frama_c_kernel_base.Frontc

module Fval = Frama_c_kernel_base.Fval

module Generic = Frama_c_kernel_base.Generic

module Ghost_accesses = Frama_c_kernel_base.Ghost_accesses

module Ghost_cfg = Frama_c_kernel_base.Ghost_cfg

module Globals = Frama_c_kernel_base.Globals

module Infer_assigns = Frama_c_kernel_base.Infer_assigns

module Inline = Frama_c_kernel_base.Inline

module Inline_stmt_contracts = Frama_c_kernel_base.Inline_stmt_contracts

module Inout_type = Frama_c_kernel_base.Inout_type

module Int_Base = Frama_c_kernel_base.Int_Base

module Int_Intervals = Frama_c_kernel_base.Int_Intervals

module Int_Intervals_sig = Frama_c_kernel_base.Int_Intervals_sig

module Int_interval = Frama_c_kernel_base.Int_interval

module Int_set = Frama_c_kernel_base.Int_set

module Int_val = Frama_c_kernel_base.Int_val

module Interpreted_automata = Frama_c_kernel_base.Interpreted_automata

module Ival = Frama_c_kernel_base.Ival

module Json_compilation_database = Frama_c_kernel_base.Json_compilation_database

module Kernel = Frama_c_kernel_base.Kernel

module Kernel_function = Frama_c_kernel_base.Kernel_function

module Kernel_log = Frama_c_kernel_base.Kernel_log

module Lattice_bounds = Frama_c_kernel_base.Lattice_bounds

module Lattice_type = Frama_c_kernel_base.Lattice_type

module Lexerhack = Frama_c_kernel_base.Lexerhack

module Lmap = Frama_c_kernel_base.Lmap

module Lmap_bitwise = Frama_c_kernel_base.Lmap_bitwise

module Lmap_sig = Frama_c_kernel_base.Lmap_sig

module Locations = Frama_c_kernel_base.Locations

module Logic_builtin = Frama_c_kernel_base.Logic_builtin

module Logic_const = Frama_c_kernel_base.Logic_const

module Logic_deps = Frama_c_kernel_base.Logic_deps

module Logic_env = Frama_c_kernel_base.Logic_env

module Logic_lexer = Frama_c_kernel_base.Logic_lexer

module Logic_parse_string = Frama_c_kernel_base.Logic_parse_string

module Logic_parser = Frama_c_kernel_base.Logic_parser

module Logic_preprocess = Frama_c_kernel_base.Logic_preprocess

module Logic_print = Frama_c_kernel_base.Logic_print

module Logic_ptree = Frama_c_kernel_base.Logic_ptree

module Logic_subst = Frama_c_kernel_base.Logic_subst

module Logic_to_c = Frama_c_kernel_base.Logic_to_c

module Logic_typing = Frama_c_kernel_base.Logic_typing

module Logic_utils = Frama_c_kernel_base.Logic_utils

module Loop = Frama_c_kernel_base.Loop

module Machdep = Frama_c_kernel_base.Machdep

module Machine = Frama_c_kernel_base.Machine

module Macos_dirs = Frama_c_kernel_base.Macos_dirs

module Map_lattice = Frama_c_kernel_base.Map_lattice

module Memory_zone = Frama_c_kernel_base.Memory_zone

module Mergecil = Frama_c_kernel_base.Mergecil

module Messages = Frama_c_kernel_base.Messages

module Mopsa_database = Frama_c_kernel_base.Mopsa_database

module Offsetmap = Frama_c_kernel_base.Offsetmap

module Offsetmap_bitwise_sig = Frama_c_kernel_base.Offsetmap_bitwise_sig

module Offsetmap_lattice_with_isotropy = Frama_c_kernel_base.Offsetmap_lattice_with_isotropy

module Offsetmap_sig = Frama_c_kernel_base.Offsetmap_sig

module Oneret = Frama_c_kernel_base.Oneret

module Ordered_stmt = Frama_c_kernel_base.Ordered_stmt

module Origin = Frama_c_kernel_base.Origin

module Parameter_builder = Frama_c_kernel_base.Parameter_builder

module Parameter_category = Frama_c_kernel_base.Parameter_category

module Parameter_customize = Frama_c_kernel_base.Parameter_customize

module Parameter_sig = Frama_c_kernel_base.Parameter_sig

module Parameter_state = Frama_c_kernel_base.Parameter_state

module Parse_env = Frama_c_kernel_base.Parse_env

module Plugin = Frama_c_kernel_base.Plugin

module Populate_spec = Frama_c_kernel_base.Populate_spec

module Precise_locs = Frama_c_kernel_base.Precise_locs

module Printer = Frama_c_kernel_base.Printer

module Printer_api = Frama_c_kernel_base.Printer_api

module Printer_builder = Frama_c_kernel_base.Printer_builder

module Property = Frama_c_kernel_base.Property

module Property_status = Frama_c_kernel_base.Property_status

module Replacements = Frama_c_kernel_base.Replacements

module Rmtmps = Frama_c_kernel_base.Rmtmps

module Service_graph = Frama_c_kernel_base.Service_graph

module Special_hooks = Frama_c_kernel_base.Special_hooks

module Standard = Frama_c_kernel_base.Standard

module Statuses_by_call = Frama_c_kernel_base.Statuses_by_call

module Stmts_graph = Frama_c_kernel_base.Stmts_graph

module Substitute_const_globals = Frama_c_kernel_base.Substitute_const_globals

module System_config = Frama_c_kernel_base.System_config

module Temp_files = Frama_c_kernel_base.Temp_files

module Tr_offset = Frama_c_kernel_base.Tr_offset

module Translate = Frama_c_kernel_base.Translate

module Translate_lightweight = Frama_c_kernel_base.Translate_lightweight

module Typed_parameter = Frama_c_kernel_base.Typed_parameter

module Undefined_sequence = Frama_c_kernel_base.Undefined_sequence

module Unfold_loops = Frama_c_kernel_base.Unfold_loops

module Unix_dirs = Frama_c_kernel_base.Unix_dirs

module Va_types = Frama_c_kernel_base.Va_types

module Variadic = Frama_c_kernel_base.Variadic

module Visitor = Frama_c_kernel_base.Visitor

module Visitor_behavior = Frama_c_kernel_base.Visitor_behavior

module Widen_type = Frama_c_kernel_base.Widen_type

module Win_dirs = Frama_c_kernel_base.Win_dirs

module Wto_statement = Frama_c_kernel_base.Wto_statement

module Z_or_top = Frama_c_kernel_base.Z_or_top

Frama-C API - Frama_c_kernel

Frama-C API - `Frama_c_kernel`