public class OracleType extends java.lang.Object implements OracleTerm
private Sort
s
OracleType(Sort s)
java.lang.String
toString()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
private Sort s
public OracleType(Sort s)
public java.lang.String toString()
toString
java.lang.Object