Module Proof.Kind

module Kind: sig .. end

type t = Proof.kind 

val pp : t CCFormat.printer