Module Whyconf.Prover

module Prover: OrderedHashedType  with type t = prover