ProofInfoArgs

type ProofInfoArgs = ProofInfo;