Module Msat_backend.Backend_intf

Backend interface

This modules defines the interface of the modules providing export of proofs.

module type S = sig ... end

Proof exporting