module VC_Lemma:sig
..end
type
t = {
|
lemma : |
|
depends : |
val is_trivial : t -> bool
val pretty : Format.formatter -> t -> (VCS.prover * VCS.result) list -> unit
val cache_descr : t -> (VCS.prover * VCS.result) list -> string