Module Prover.PO


module PO: sig .. end

val make : Wpo.language -> Wpo.t -> string