Module CLogic.CLemma

type t = {
  1. name : string;
  2. params : string list;
  3. hypothesis : CAssert.t;
  4. conclusions : CAssert.t list;
  5. proof : CLCmd.t list option;
}
val pp : Stdlib.Format.formatter -> t -> unit