module ProverDetect: sig .. end
sig
end
Why3 Prover Detection
val detect : unit -> VCS.dp list
unit -> VCS.dp list