Proof.Kind
type t
= kind
val pp : t CCFormat.printer
val pp_tstp : Stdlib.Format.formatter -> (kind * [< `Name of string | `Theory of string ] list) -> unit