package why3find

  1. Overview
  2. Docs

Module Why3find.ProjectSource

Sourcetype env = private {
  1. root : string;
  2. cache : Cache.t;
  3. config : Config.config;
  4. why3 : Config.why3env;
  5. pkgs : Meta.pkg list;
}
Sourceval create : ?root:string -> ?usecache:bool -> ?config:Config.config -> unit -> env

Create an environment with configuration config for the project located in root (which default to ".")