package mopsa

  1. Overview
  2. Docs
package mopsa
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Cache.Make

Parameters

module Domain : sig ... end

Signature

Cache of post-conditions

****************************

module ExecCache : sig ... end
val exec_cache : Domain.t Core.Post.post option ExecCache.t

Cache of evaluations

************************

module EvalCache : sig ... end
val eval_cache : Domain.t Eval.eval option EvalCache.t