Package mepk.builtin.internal

package mepk.builtin.internal
This package contains internal implementations for the concepts in the mepk.builtin package. They are not intended to be used directly.
  • Classes
    Class
    Description
    ParProof
    A 'parallel proof' merges two proofs 'in parallel', so that the new proof just collects everything which the two parts prove.
    SeqProof
    A 'sequential proof' merges two proofs 'in sequence', where the second proof builds on the second one.
    StatementAbbrExpState
    The state that is kept while expanding an Abbreviation throughout a Statement.
    TrivialProof
    A trivial proof grounds exactly its grounding statements, and therefore it does not have to construct anything.