module Backend_intf: sig .. end
sig
end
Backend interface
This modules defines the interface of the modules providing export of proofs.
module type S = sig .. end