Module Coq.Make

Parameters

• S : Msat.S
• A : Arg with type hyp := S.clause and type lemma := S.clause and type assumption := S.clause

Signature

type t

The type of proofs.

val pp : Format.formatter -> t -> unit

A function for printing proofs in the desired format.