Frama-C API - `Fclib`

Module aliases for all our libraries. Useful when shadowing module's name.

since Frama-C+dev

Floating point

module Floating_point = Floating_point

module Typed_float = Typed_float

Arithmetic

module Field = Field

module Finite = Finite

module Linear = Linear

module Nat = Nat

module Rational = Rational

Datatype

module Datatype = Datatype

module Descr = Descr

module Structural_descr = Structural_descr

module Type = Type

module Unmarshal = Unmarshal

module Unmarshal_z = Unmarshal_z

Monads

module Composition = Composition

module Identity = Identity

module Monad = Monad

module State_monad = State_monad

Project

module Project = Project

module Project_output = Project_output

module Project_skeleton = Project_skeleton

module State = State

module State_builder = State_builder

module State_dependency_graph = State_dependency_graph

module State_selection = State_selection

module State_topological = State_topological

Stdlib

module Extlib = Extlib

module FCHashtbl = FCHashtbl

module Hashtbl = Hashtbl

module Integer = Integer

module List = List

module Option = Option

module Result = Result

Utils

module Async = Async

module Bag = Bag

module Binary_cache = Binary_cache

module Bitvector = Bitvector

module Channel = Channel

module Command = Command

module Compression = Compression

module Dotgraph = Dotgraph

module Escape = Escape

module Filepath = Filepath

module Filesystem = Filesystem

module Hook = Hook

module Hpath = Hpath

module Hptmap = Hptmap

module Hptmap_sig = Hptmap_sig

module Hptset = Hptset

module Indexer = Indexer

module Json = Json

module Markdown = Markdown

module Parray = Parray

module Pretty_utils = Pretty_utils

module Qstack = Qstack

module Rangemap = Rangemap

module Rgmap = Rgmap

module Rich_text = Rich_text

module Sanitizer = Sanitizer

module Task = Task

module Unicode = Unicode

module Utf8_logic = Utf8_logic

module Wto = Wto

Frama-C API - Fclib