Module Register.PM

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