package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Frama_c_kernel.Binary_cache

Very low-level abstract functorial caches. Do not use them unless you understand what happens in this module, and do not forget that those caches are not aware of projects.

val set_cache_size : int -> unit

set_cache_size n sets the size cache to 2^(8+n). Does not resize already created caches.

module type Cacheable = sig ... end
module type Result = sig ... end
module Symmetric_Binary (H : Cacheable) (R : Result) : sig ... end
module Binary_Predicate (H0 : Cacheable) (H1 : Cacheable) : sig ... end
module Symmetric_Binary_Predicate (H0 : Cacheable) : sig ... end
module Arity_One (H : Cacheable) (R : Result) : sig ... end
module Arity_Two (H0 : Cacheable) (H1 : Cacheable) (R : Result) : sig ... end
module Arity_Three (H0 : Cacheable) (H1 : Cacheable) (H2 : Cacheable) (R : Result) : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet 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