package why3find

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Why3find.Cache`Source

Sourceval digest : ?prover:Prover.prover -> Why3.Task.task -> string

In case a prover is given, the task digest is consolidated with the prover driver specification.

Sourcetype t

Cache data structure

Sourceval create : cdir:string -> ?usecache:bool -> unit -> t

~cdir is the directory where the cache lives.

Sourceval get : t -> Why3.Task.task -> Prover.prover -> Result.t

Sourceval set : t -> Why3.Task.task -> Prover.prover -> Result.t -> unit