package libzipperposition

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

Module Libzipperposition.EnvSource

Global environment for an instance of the prover

Sourcemodule type S = Env_intf.S
Sourcetype 'a packed = (module S with type C.t = 'a)
Sourcemodule Make (X : sig ... end) : sig ... end
OCaml

Innovation. Community. Security.