at.logic.skeptik.judgment

immutable

package immutable

Visibility
  1. Public
  2. All

Type Members

  1. class SeqSequent extends Sequent with SequentLike[SeqSequent]

    A class for immutable sequents whose cedents are seqs.

  2. class SetSequent extends Sequent with SequentLike[SetSequent]

    A class for immutable sequents whose cedents are immutable sets.

Value Members

  1. object SeqSequent

  2. object SetSequent

Ungrouped