Interface TermWrapper

interface TermWrapper {
    Term: Term;
}