Module Cache.MakeSource

Parameters

module Domain : sig ... end

Signature

Cache of post-conditions

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

Sourcemodule ExecCache : sig ... end
Sourceval exec_cache : Domain.t Post.post option ExecCache.t
Sourceval exec : (Ast.Stmt.stmt -> 'a -> Domain.t Flow.flow -> (Domain.t, unit) Cases.cases option) -> Route.route -> Ast.Stmt.stmt -> 'a -> Domain.t Flow.flow -> (Domain.t, unit) Cases.cases option

Cache of evaluations

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

Sourcemodule EvalCache : sig ... end
Sourceval eval_cache : Domain.t Eval.eval option EvalCache.t