Module `Libzipperposition.Env`

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 : functor (X : sig ... end) -> sig ... end