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