Verification.IoSourceCommon code for handling the IO of all proof backends supported
module MakeBackendIO
(B : Backend) :
BackendIO
with type vc_encoding = B.vc_encoding
and type backend_context = B.backend_context
and type model = B.model