module Result: sig .. end
sig
end
type t = Proof.result
Proof.result
include Interfaces.ORD
include Interfaces.EQ
val pp : t CCFormat.printer
t CCFormat.printer