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