sig
  type t = Proof.rule
  val pp : Proof.Rule.t CCFormat.printer
  val name : Proof.Rule.t -> string
  val mk : string -> Proof.Rule.t
  val mkf :
    ('a, Format.formatter, unit, Proof.Rule.t) Pervasives.format4 -> 'a
end