Up – logtk » Logtk_proofs » LLProof_conv

Module `Logtk_proofs.LLProof_conv`

val conv : Logtk.Proof.t -> LLProof.t