package frama-c

  1. Overview
  2. Docs

Module Cache.BinarySource

Parameters

module A : S

Signature

Sourcetype 'a value = A.t -> A.t -> 'a
Sourcetype 'a cache
Sourceval create : size:int -> 'a cache
Sourceval clear : 'a cache -> unit
Sourceval compute : 'a cache -> 'a value -> 'a value