package code.term;

import code.term.visitor.TermVisitor;

/**
 * Term representation for opaque type.
 * An opaque type is a hack for handling as a term any object.
 *
 * @author Sergio Antoy
 * @since April 19, 2005
 */
public class TermImplOpaque extends TermImplBuiltin {
    public final Object opaque;

    public TermImplOpaque(Object opaque) { this.opaque = opaque; }

    public <R,T> R accept(TermVisitor<R,T> v, T o) {
        return v.visit(this, o);
    }

}