package frama-c

  1. Overview
  2. Docs
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.