package libzipperposition

  1. Overview
  2. Docs
package libzipperposition
Legend:
Library
Module
Module type
Parameter
Class
Class type

Global environment for an instance of the prover

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