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