Up
Next
Module
Whyconf.Prover
module
Prover
:
OrderedHashedType
with type t = prover