Ordering for sequents.
A sequent is a pair of sequences of elements of type A, typically written as a1,…,am :- b1,…,bn.
A sequent is a pair of sequences of elements of type A, typically written as a1,…,am :- b1,…,bn.
The type of the elements of the sequent.
Created by sebastian on 7/13/15.