sig type t = Proof.result val compare : t -> t -> int val equal : t -> t -> bool val pp : Proof.Result.t CCFormat.printer end