Module Proof.Kind

type t = kind
val pp : t CCFormat.printer