module PM: Stdlib.Map.Make(sig
Stdlib.Map.Make
(
sig
type t = VCS.prover
VCS.prover
val compare : VCS.prover -> VCS.prover -> int
VCS.prover -> VCS.prover -> int
end)
end
)