Uses of Interface
mepk.builtin.TrustedProof.Internal

Packages that use TrustedProof.Internal

Package	Description
mepk.builtin.internal	This package contains internal implementations for the concepts in the mepk.builtin package.

Uses of TrustedProof.Internal in mepk.builtin.internal

Classes in mepk.builtin.internal that implement TrustedProof.Internal

Modifier and Type	Class	Description
class	ParProof	A 'parallel proof' merges two proofs 'in parallel', so that the new proof just collects everything which the two parts prove.
class	SeqProof	A 'sequential proof' merges two proofs 'in sequence', where the second proof builds on the second one.
class	TrivialProof	A trivial proof grounds exactly its grounding statements, and therefore it does not have to construct anything.