libzipperposition

Library for Zipperposition
IN THIS PACKAGE

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