module Kind: sig .. end
sig
end
type t = Proof.kind
Proof.kind
val pp : t CCFormat.printer
t CCFormat.printer